Type-level Fold

Generic Type-level Fold for Boolean Algebra