should-not-typecheck

For examples and an introduction to the library please take a look at the README on github.