module Id where

newtype I a = I a

unI :: I a  -> a
unI (I a) = a

instance Monad I where
  return a =  I a
  (I m) >>= k = k m