@hackage type-booleans0.1

Type-level booleans via type-families

Type-level booleans with basic operators that short-circuit as much as possible.