Phantom
concept
PhantomSyntax
syntax
PointOrEmpty
concept
PointOrEmptyCategoryInstances
instance
PointOrEmptyInstances
instance
PointOrEmptySyntax
syntax