instance Monad M where
m >>= k = ...
Also is there a name for functions which are used as this second argument to bind?
instance Monad M where
m >>= k = ...
Also is there a name for functions which are used as this second argument to bind?
Answered in the comments
I'd guess that k stands for something like "kontinue with the kontinuation k