Call this type function M, and let P, Q, R, and S be variables over types.
Recall that a monad requires a singleton function 1:P-> MP, and a
Call this type function M, and let P, Q, R, and S be variables over types.
Recall that a monad requires a singleton function 1:P-> MP, and a