Comment by seanmcdirmid

If you like doing real object-oriented programming, then nominal subtypes are mighty useful.