You might be interested in http://blog.racket-lang.org/2017/04/type-tailoring.html, which argues for customised type checking.