Control.Functor.Combinators.Const
data Const2 t a b