Type Definition AndCompose
type_freak::boolean
type AndCompose<Lhs, Rhs> = ApplyFunctor<AndComposePredicate, (Lhs, Rhs)>;