addContribution::ImperativeMonad () addContribution= return () addPage::ImperativeMonad () addPage= return () getTex::ImperativeMonad String getTex=return "" module Main (main) where