In Haddock documentation embed the values from the same module, similar to what doctest does