> I recently went through GHC's source, and discovered there are quite a > few instances of Monad that don't have Functor or Applicative instances. > Fixing this is very easy by adding the standard instances (pure = return > etc.), and will not break code. +1 --Kazu