module SelfDep where

data T :: T -> *