Types

Direct children types

• EmptyBox - Represents absence of a value
• Null - Null type. Has only one instance, null