Function haskell_bits::monad::bind_ignore

pub fn bind_ignore<TCon: ?Sized, TIn, TOut, TIgnoreArg: ?Sized, TResult>(
    x: &TIgnoreArg, 
    y: &TResult
) -> TResult where
    TCon: Monad + WithTypeArg<TIn> + WithTypeArg<TOut>,
    TIgnoreArg: TypeApp<TCon, TIn>,
    TResult: TypeApp<TCon, TOut>,
    <TCon as WithTypeArg<TOut>>::Type: Clone,