{-# LANGUAGE DataKinds, PolyKinds #-}

module T13625 where

data X :: Y where Y :: X