Up
–
cooltt
»
Basis
»
Monad
»
Util
» M
Parameter
Util.M
type
'a m
val
ret :
'a
->
'a
m
val
bind :
'a
m
->
(
'a
->
'b
m
)
->
'b
m