Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T6039.hs
1 {-# LANGUAGE PolyKinds, KindSignatures #-}
2
3 module Foo where
4
5 data T (a :: j k) = MkT
6