Answer by Li-yao Xia for join function for two-kinded monads
The state monad type is declared as State s a;it only unifies with m a if m ~ State s.join :: State s (State s a) -> State s a
View Articlejoin function for two-kinded monads
I'm trying to get a better understanding of monads.So I'm trying to write return, join, and bind implementations for several monads.However when coming to two-kinded monads, I'm kind of confusedjoin ::...
View Article
More Pages to Explore .....