I like to do as much as possible in the type system so I can avoid writing tests.