[Haskell-cafe] Injective type family on a sub domain