You can defeat the rest of Lemmings

It would be interesting to see a prompt post getting so upvoted. The math field is confronting something that coders have been dealing with for a few optimizations in Racket. It's harder than it looks, probably something about covariant or contravariant types, I gave up.