Difference between revisions of "Talk:Functor hierarchy proposal"
Jump to navigation
Jump to search
(Can't we just put defaults for fmap and ap into the Monad typeclass?) |
(No difference)
|
Revision as of 15:24, 29 January 2006
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?