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