Haddock sections
Improved type inference for instances