»
infix >>=~
monad.infix >>=~
(B
type
, MB type
:monad (monad.infix >>=~.B) (monad.infix >>=~.MB), f Unary MB monad.A) =>
MB[Abstract feature]
¶Type Parameters
0.094dev (2025-07-10 15:41:47 GIT hash eafa42ae743de61b62f958948d7abb5fada7756f built by fridi@fzen)
Apply f to elements of type A and wrap them in MB.