-- | Wrapper module around other types-related modules and definitions.
module IR.Types (module IR.Types.Type) where

-- TODO: Combine Types.Type with Constraint.Canonical
import IR.Types.Type