linux ghci needs modules to be exported
Merge branch 'master' of https://github.com/jaccokrijnen/markup
Records, derivelang etc