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