Syntactic sugar that improves the usability of 'Control.Exception.assert' and 'error'.