Fun with Type Functions Here is Version 3 of our paper (May 2010): Fun With Type Functions (version 3), Oleg Kiselyov, Ken Shan, and Simon Peyton Jones. This online version includes an Appendix that does not appear in the printed version. Slides (PDF) Source code which will appear in the proceedings of Tony Hoare's 75th birthday celebration. Abstract. Tony Hoare has always been a leader in writing