[<<][haskell][>>][..]
Mon Dec 11 01:18:53 EST 2017

Monadic langauges and expressions

Basically, if

   mul :: t -> t -> m t

Is one of the operations, it's not possible to

   do
      z <- (a mul b) mul c

It needs something like

   do
      z0 <- a  mul b
      z  <- z0 mul c

Which is annoying




[Reply][About]
[<<][haskell][>>][..]