Trait RecApp
ferrite_session::prelude
pub trait RecApp<A>: RecApp<A> { }
impl<A, X> RecApp<A> for X where X: RecApp<A>,