nominalwhen
nominalwhen is a term used in certain programming contexts, particularly in functional programming languages like Haskell, to describe a type or construct that carries no meaningful information. It's a way of representing the presence of something without needing to store any associated data. Think of it as a placeholder or a signal that an event has occurred or a condition has been met, but the actual value of that occurrence is irrelevant.
The primary purpose of nominalwhen is to aid in type safety and to distinguish between different actions
In essence, nominalwhen types are zero-width types. They occupy no memory at runtime because they don't store