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