Function haskell_bits::monad::bind

pub fn bind<TCon: ?Sized, TIn, TOut, TArg: ?Sized, F, TResult>(
    x: &TArg, 
    f: F
) -> TResult where
    TCon: Monad + WithTypeArg<TIn> + WithTypeArg<TOut>,
    TArg: TypeApp<TCon, TIn>,
    F: Fn(&TIn) -> TResult,
    TResult: TypeApp<TCon, TOut>,