Haskell-book/17/Identity.hs


1
2
3
4
5
6
7
8
9

newtype Identity a = Identity a
    deriving (Eq, Show, Ord)

instance Functor Identity where
    fmap f (Identity x) = Identity $ f x

instance Applicative Identity where
    pure x = Identity x
    (Identity f) <*> (Identity y) = Identity $ f y