Type a' is not type a'