Type Definition BiApp
lambek::bi_type_app
type BiApp<'a, F, X, Y> = Box<dyn HasBiTypeApp<'a, F, X, Y> + 'a>;