[gcanti]

Interesting: here the key point is composability. I wrote a validation library in the same vein but using functions as representations of sets https://github.com/gcanti/tcomb-validation

[agumonkey]

With subtyping, pretty :)