Dear #haskell fellows, why this doesn't compile ?
https://gist.github.com/YoEight/6037352
-
@dibblego I confused because I thought that having it universally-quantified over all monad m should make it work
@yoeight The two 'm' values need to unify and they can't with forall in that position. Will look closer when a compiler is available.
-
-
@dibblego Oh, I think I see your point, ThanksThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.