Desugar multiple polymorphic bindings more intelligently