A library that makes it nicer to work with nested functional data structures
IN THIS PACKAGE
module Monad_infix : sig ... end
Infix, except the monad type has three arguments. The second and third are composed across all computation.
val return : 'a -> ( 'i, 'a, 'i ) t