[Haskell-cafe] Polykinded promoted types