which test a few variants of rules involving constructors, including
nullary constructors, constructors with wrappers, and unsaturated of
constructors.

At the moment, all the rules work as expected, despite GHC’s compile
time warnings when called with -Wall.