Document injective type families in the source code