search

aelve / haskell-issues

An unofficial issue tracker for all things Haskell-related
18 stars 0 forks source link

mtl: Lift MonadState, etc. through (->). base: Lift Alternative/MonadPlus through (->). #27

Closed Gurkenglas closed 8 years ago

Gurkenglas commented 8 years ago

Ah, the reason this can't be done is that you couldn't even write the instance. Alternative f => Alternative r -> f? No.