Haddock: function is called `wrapInside`