[eru]

I'd volunteer some Haskell, but I am afraid that while complex, it doesn't have enough line noise in the type declarations.