import NT

m1 = show (INT 99)

f :: INT -> Int
f (INT i) = 42

m2 = f failed