Re: D202: Injective type families