ErrorReflection.idr:68:5:
When elaborating right hand side of bad:
DSL type error: (t(503) => t'(504)) doesn't match ()