Function haskell_bits::monad::fjoin

pub fn fjoin<TCon: ?Sized, T, TInner, TArg: ?Sized>(
    x: &TArg
) -> <TCon as WithTypeArg<T>>::Type where
    TCon: Monad + WithTypeArg<T> + WithTypeArg<TInner> + WithTypeArg<<TCon as WithTypeArg<T>>::Type>,
    TInner: TypeApp<TCon, T>,
    TArg: TypeApp<TCon, TInner>,
    <TCon as WithTypeArg<T>>::Type: Clone,