Proof-of-concept, mostly safe multimethods in Racket - View it on GitHub