infix >>=~

🌌monad.infix >>=~

§infix >>=~<B, MB>(f Function<monad.infix >>=~.MB, monad.A>)

 => 

MB

:

Object

[src]

monadic operator to another monad

Apply f to elements of type A and wrap them in MB.

NYI: This is currently useless since a redefinition is not
allowed for features with generic arguments. Is there a way
we could allow this anyway?