Export Module (abstractly), otherwise the user is unable to write signatures involving this type. Improves Haddock hyperlinks, too.
