search

jaspervdj / digestive-functors

A general way to consume input using applicative functors
149 stars 71 forks source link

Excessive monad constraint on fmap in tutorial #120

Closed Twey closed 8 years ago

Twey commented 9 years ago

https://github.com/jaspervdj/digestive-functors/blob/master/examples/tutorial.lhs#L194

specifies Monad m but no m appears in the type signature (and this is not a valid type for fmap).