Extract package:monadology

Instances of this type are isomorphic to (Q,a) for some type Q (with Monoid Q).