[Haskell-cafe] When will constraint kinds roll out?