When I first saw this example I found it more amazing and more funny than most examples at for example The International Obfuscated C code contest. It's amazing because it actually works and it is funny because it probably only works because of the type system hacks (due to the type annotations) and all unsafeCoerces. Using unsafeCoerce goes against all conventions which are usually employed when programming in Haskell. This example also seems to go well with the theme on the haskell page that interactive programs (i.e. programs that read from stdin) are hard to express using haskell (see for example System.IO.Unsafe.Really.IMeanIt.reallyReallyAbsurdlyUnsafePerformIOShameOnYou and ...had to be augmented by the best parts of Perl to actually do anything useful).

// David

Heh, the Zygohistomorphic Prepromorphism section is outdated and wrong. The real code is