"Advanced Functional Programming 4 conf., AFP 2002" - читать интересную книгу автора (Johan Jeuring, Simon Peyton Jones)