Up
–
monads
»
Monads
»
Std
»
Monad
»
Fun
» T1
Module
Fun.T1
Parameters
Signature
Parameters
module
M
:
Monad
Signature
type
'a m
=
'a
M.t
type
'a t
=
'a
m
thunk
type
'a e
=
'a
m