Implements https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0024-no-kind-vars.rst
