(require-extension coops)
(require-extension coops-introspection)

(define-class <a> ())

(define a (make <a>))

(print "class of a = <a>    : " (equal? (class-of a) <a>))
(print "(instance-of? a <a>): " (instance-of? a <a>))

(define-class <a> ())

(print "class of a = <a>    : " (equal? (class-of a) <a>))
(print "(instance-of? a <a>): " (instance-of? a <a>))

;; Output
;; class of a = <a>    : #t
;; (instance-of? a <a>): #t
;; class of a = <a>    : #t
;; (instance-of? a <a>): #f