Faking Useful Refinement Types in Racket | Dark Hacker News