reinstate test for `Monoid` derivation