Trait Monad
Other items inferrite_session::prelude
pub trait Monad: Applicative { fn bind<A, B>( fa: App<Self, A>, cont: impl Fn(A) -> App<Self, B> ) -> App<Self, B> where A: Send + 'static, B: Send + 'static; }
fn bind<A, B>( fa: App<Self, A>, cont: impl Fn(A) -> App<Self, B>) -> App<Self, B> where A: Send + 'static, B: Send + 'static,