module TcType where

data TyVarDetails