path: root/testsuite/tests/polykinds/T13625.hs

{-# LANGUAGE DataKinds, PolyKinds #-}

module T13625 where

data X :: Y where Y :: X