[Haskell-cafe] Type Instance Partiality [was: [ghc-proposals/cafe] Partially applied type families]