Data.Functor.Const

data Const a b