More than one least object type

We also said that there may be more than one "least" object type.

Can you give an example?

Say it is important to you to distinguish between words and punctuation. You might want to have two different object types, one called "Word" and one called "Punctuation". The Word objects and the Punctuation objects would be adjacent, but they would be distinct object types.

In this way, you can search like this, e.g.:

SELECT ALL OBJECTS WHERE
[Word
  lexeme = "blue"
]
[Punctuation
  punct_type = period
]
GO

Alternatively, you can let the Word object and its associated Punctuation object occupy the same stretch of monads. E.g.:

SELECT ALL OBJECTS WHERE
[Word
    lexeme = "blue"
    [Punctuation
        punct_type = period and punct_location = after
    ]
]
GO

Incidentally, the "punct_type" and "punct_location" example features are here assumed to be defined as enumerations.