Parse, don’t validate

Using the type system to separate concerns

Parse, don’t validate