Trait Monad
monadic::monad
pub trait Monad: Bind { fn pure(x: Self::Item) -> Self; }
fn pure(x: Self::Item) -> Self
impl<T> Monad for Option<T>
fn pure(x: T) -> Self
impl<T, E> Monad for Result<T, E>
impl<T> Monad for Vec<T>
impl<T> Monad for LinkedList<T>
impl<T> Monad for VecDeque<T>