[gwern]

As I keep telling people, 'Safe Haskell' is not as generally useful as they think it is. Mueval (http://hackage.haskell.org/package/mueval) has to do a lot more than just be careful with its imports before it can safely run arbitrary untrusted code.