Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T13625.hs
1 {-# LANGUAGE DataKinds, PolyKinds #-}
2
3 module T13625 where
4
5 data X :: Y where Y :: X