Add haddocks for typeclass polymorphic function specialisations, plus some other bits