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