Type wildcards are disallowed in type synonyms, data declarations, instances. #287