module TcType where

data TcTyVarDetails