;; UnificationFailed

(data Integ (Integ Int))

(define type-mismatch (Integ True))