Function haskell_bits::monad::bind_c

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