doc/prelude-cheatsheet.pdf