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

{-# LANGUAGE TypeInType #-}

module T13625 where

data X :: Y where Y :: X