kClosure | DDC.Core.Tetra.Compounds |
kData | DDC.Core.Tetra.Compounds |
kEffect | DDC.Core.Tetra.Compounds |
kFun | DDC.Core.Tetra.Compounds |
kFuns | DDC.Core.Tetra.Compounds |
kindPrimTyCon | DDC.Core.Tetra.Prim |
kindTyConTetra | DDC.Core.Tetra.Prim |
kRegion | DDC.Core.Tetra.Compounds |
kWitness | DDC.Core.Tetra.Compounds |