In file ErrorReflection.idr line 78 column 5 
        When elaborating right hand side of  Main.bad : 
                DSL type error: (t'(504) => t'(504)) doesn't match ()