A library to validate values of nested structs with their type spec `t()` and associated precondition functions.
A library to serialize between maps and nested structs
A library to work with tagged tuples