RE polymorphic
Haddock and not so resticted anything
Everything