Interesting take on runtime type checking. Have you seen tcomb (http://gcanti.github.io/tcomb/)? I've been using it myself and I like this idea of using it for domain driven design. Check it out if you haven't, maybe you can find something to differentiate as avocado is still in its early stages.