ferrite_session::internal::public::prelude::type_app
pub fn wrap_type_app<F, A>(applied: F::Applied) -> App<F, A> where F: TypeApp<A>,