[sketerpot]

If that's what you consider "slightly nontrivial", I never want to see what you would consider a difficult type declaration.

[eru]

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