 Existentially quantified constructors. We ignore the quantifiers
-- and proceed with the contained constructor.
parseArgs tName opts (ForallC _ _ con) contents =
    parseArgs tName opts con contents


parseArgs tName opts (ForallC _ _ con) contents =
    parseArgs tName opts con contents
parseArgs tName opts (ForallC _ _ con) contents =
    parseArgs tName opts con contents