-- This module collects the basic type inference machinery
module TI(module Ti) where
import TiClasses as Ti
import TiDefinedNames as Ti
import TiFreeNames  as Ti
import TiKinds as Ti
import TiMonad as Ti
import TiNames as Ti
import TiPretty as Ti
import TiTypes as Ti
import TiUtil as Ti
import TiGeneralize as Ti
import TiFresh as Ti
import PNT as Ti(PId)
-- more?