No wildcards in (G)ADTs, newtypes & type synonyms