Map Reduce in Typed Racket