:l print029.hs
let a = MkT2 [Just (1::Int)]
a
let b = MkT2 (map Just [2::Int]) -- Want to obtain a thunk
:break f2
f2 a b
:step