Domo is a library to model a business domain with type-safe structs and composable tagged tuples.
A module to validate a type contract
A protocol to match a value against a typespec.