revert workarounds if we get non-sexp output from idris