Dear #haskell fellows, why this doesn't compile ?
https://gist.github.com/YoEight/6037352
@yoeight you get different values for 'm' in one case which doesn't unify in the type system.
-
-
@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. - Show replies
New conversation -
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.