MathObj.Wrapper.Haskell98
data
T
a
lift1
lift2
unliftF1
unliftF2
unimplemented