Helpers for Control.Exception.assert