Henning Thielemann wrote:

I like to write documentation comments like

fix :: ( a {- ^ local argument -} -> a {- ^ local output -} ) -> a {- ^ global output -}

but Haddock doesn't allow it. Or is there a trick to get it work?

Haddock only supports documenting the "top-level" arguments of a function right now. Cheers, Simon