Comment by peatmoss

Here's an idea: A port of Incanter to Typed Racket