"Advanced Functional Programming 2 conf" - читать интересную книгу автора (John Launchbury, Erik Meijer, Tim Sheard)