Merged quantifiers into a single construct, added Show instances