Syntax extension for `failwithp`