src/Main.hs: add an explicit export list to silence a GHC warning.