Desugar: function signature return type desugaring bugfix.