righttypes.Instead of asking "What values are in a type?" let's ask the reverse question. One interpretation is that the simplest type constructor function behaves like `identity` unless it fails; then it provides detailed diagnostics about what failed where. This allows one to enhance rather than replace Specs/Malli. We implement this + more here!