This is adjacent to one of my main complaints with Racket's contracts. If I want to use Typed Racket (which I almost always do) then it becomes significantly mo

This is adjacent to one of my main complaints with Racket's contracts. If I want to use Typed Racket (which I almost always do) then it becomes significantly more difficult to attach non-type contracts to code. I find I often run into cases where I want to encode something as a contract that is impossible to describe with refinement types. Especially when gradually typing an old untyped codebase.