syntactic sugar that improves the usability of 'assert' and 'error' in Haskell