:: Monoid_a _ => _ a -package:mtl package:sandwich

Throws a Pending exception, which will cause the test to be marked as pending.