Breakpoint 0 activated at print031.hs:7:7-19
MkT2 [Just (Phantom 1)]
Stopped in Print031.f, print031.hs:7:7-19
_result :: Bool = _
x :: t (Phantom a6) = [Just (Phantom 1)]
x = [Just (Phantom 1)]