MkT2 [Just 1]
Breakpoint 0 activated at print029.hs:7:10-14
Stopped in Main.f2, print029.hs:7:10-14
_result :: (t Int, t Int) = _
x :: t Int = [Just 1]
y :: t Int = _
(MkT2 [Just 1],MkT2 [Just 2])