edwardk: yes, that's true. Though my goal was not to have the shortest code at all costs. I still want explicit export for documentation clarity sake, and more. Come to think of it, there is no pragma or a keyword in GHC specifying if module should export a symbol by default or not.