When using assert from Control.Exception I get a wrong warning: Warning: Module `Control.Exception' is imported, but nothing from it is used (except perhaps instances visible in `Control.Exception') When I omit this import it is (of course) an error: Variable not in scope: `assert' Christian