idris-0.9.19.1: test/error003/expected
ErrorReflection.idr:68:5:When checking right hand side of bad: DSL type error: (t(504) => t'(503)) doesn't match ()
ErrorReflection.idr:68:5:When checking right hand side of bad: DSL type error: (t(504) => t'(503)) doesn't match ()