This module collects type inference for the base syntax structure, which is intended to be reuseable in extensions of the base syntax. The knot-tying definitions for the recursive base syntax is in TiBase.
module TiBaseStruct(module Ti) where
import TiD as Ti
import TiE as Ti
import TiP as Ti
import TiT as Ti
import TiLit as Ti
-- more?