Trait TypeApp
haskell_bits::typeapp
pub trait TypeApp<TCon: ?Sized, T> where TCon: WithTypeArg<T>, Self: Is<Type = <TCon as WithTypeArg<T>>::Type> + TypeAppParam, T: ?Sized, { }
impl<T> TypeApp<OptionTypeCon, T> for Option<T>
impl<T> TypeApp<VecTypeCon, T> for Vec<T>