ferrite_session
pub fn cloak_applied<F, A>(applied: F::Applied) -> Applied<F, A> where F: TypeApp<A>,