{-# LANGUAGE TypeInType #-}

module RenamingStar where

data Foo :: Type