Type-Level Instant Insanity by Conrad Parker - The Monad.Reader Issue 8 - September 10, 2007