no more double-desugar, remove hack for try