An attempt to salvage some of the benefits of the
QuantifiedConstraints patch.
This one should be uncontroversial and I'll screen it now.
I'll send a separate one for discussion for moving to the
'constraints' package.
1 patch for repository darcs-unstable@darcs.net:screened:
patch 4cd87fc8370acedac880c03c6e93a87a6b96a2a5
Author: Ganesh Sittampalam <ganesh@earth.li>
Date: Mon Sep 2 14:08:57 BST 2019
* reduce the Show1/Show2 boilerplate with DefaultSignatures