Domo. A library to validate values of nested structs with their type spec t() and associated precondition functions