hia
how do I unwrap a monadic value? suppose I want to return a value instead of the wrapped one
depends on the monad @mping - with some you can unwrap with @
, with others (e.g. promises in js) you can't unwrap
and how do I know what monads are deferrable?
or better yet, whats the rationale
i don't know if there is any defined way of telling
the rationale is generally whether it makes any sense for the value - you can't unwrap a js promise because doing so would require blocking the single thread leading to deadlock
I see, thanks!