- Value, object.
- Data constructor, a box or a ghost box.
- Type constructor, a set of boxes.
- Type classes, classes of people who have a certain set of skills.
Clarification of ghost boxes:
They look like boxes, but actually you can directly touch the object inside them.
That is, the box is an illusion.