As far as I see the top-level modules below
Math.NumberTheory are all safe to expose to untrusted users, e.g. via lambdabot. However, this is currently rejected by mueval because of missing trustworthiness annotations.
It would be great, if these annotations could be added to the safe modules. More information can be found in the HaskellWiki.