Data.Functor.Const

module Data.Functor.Const(Const(..)) where

newtype Const a b = Const { getConst :: a }

instance Functor (Const a) where
  fmap f (Const a) = Const a