(import match-generics)

(define-dx (normal a) a)
(define-dx (what) 3)

(unless
    (= 3 (normal 3) (what))
  (print "Something weird with define-dx"))