Decidable Instance for Predicate
LukaJCB opened this issue · comments
Any reason why Predicate doesn't have any instances except for Contravariant?
Nope 👍
Meaning, it should also have Semigroup and Monoid? Or are there others you had in mind?