:l print031.hs
let a = MkT2 [Just (Phantom 1)]
:break f
a
f a
:p x
:q