{-# LANGUAGE PolyKinds, KindSignatures #-}

module Foo where

data T (a :: j k) = MkT