Coercions

• Situation

• • You want a type that doesn't “exist”
  • You want this type to be validated somehow
  • You don't have a clue how to do this

• Solution

• • Coerce it.