data Ident a = Ident a
instance Functor Ident where
   fmap = _