Module type Monad_intf.Basic3
Multi parameter monad. The second and third parameters get unified across all the computation.
Monad_intf.Basic3
Multi parameter monad. The second and third parameters get unified across all the computation.