Talk:Functor hierarchy proposal

Um, it would be good if it was something like:

class (Idiom f) => Monad f where
  fmap f m = m >>= return . f
  ap mf mv = mf >>= \f -> mv >>= \v -> return $ f v
  (>>=) :: f a -> (a -> f b) -> f b

Or am I missing the point?

Serhei 15:24, 29 January 2006 (UTC)