{-# OPTIONS_GHC -XEmptyDataDecls #-}
module NET.System.TypeTy where

import qualified NET.Base as NET ( Object )
import NET.System.ObjectTy

data Type_ a
type Type  a = Object (Type_ a)