Archived tweet #7211 from the @leastfixedpoint Twitter Archive

@bmastenbrook As usual, though, Racket's contracts are too turing-complete to be very useful (unmodified) in this connexion :-)