module Data.Functor.Const(Const(..)) where newtype Const a b = Const { getConst :: a } instance Functor (Const a) where fmap f (Const a) = Const a