{-# LANGUAGE TypeInType #-}

module T13625 where

data X :: Y where Y :: X