I'd like to know what's realistic to expect with Haddock and GHC's language extensions in the near future, particularly arrow notation and GADTs.  So far, I've been able to avoid arrow notation, at some cost some obfuscation, but I don't know how to avoid exposing Haddock to my GADTs.
<br><br>Cheers, - Conal<br>