Generative (property) testing, from python annotations. - View it on GitHub