Type Definition type_freak::boolean::And

type And<Lhs, Rhs> = ApplyFunctor<AndPredicate<Rhs>, Lhs>;