module DDC.Core.Tetra.Compounds
        ( module DDC.Core.Compounds.Annot
        , tBool
        , tNat
        , tInt
        , tWord)
where
import DDC.Core.Tetra.Prim.TyConPrim
import DDC.Core.Compounds.Annot