Implementing parts of ICFP 2014 in Racket, as a learning excercise