No wildcards in type family instance equations