{"action":"closed","issue":{"url":"https://api.github.com/repos/purescript/purescript/issues/1573","labels_url":"https://api.github.com/repos/purescript/purescript/issues/1573/labels{/name}","comments_url":"https://api.github.com/repos/purescript/purescript/issues/1573/comments","events_url":"https://api.github.com/repos/purescript/purescript/issues/1573/events","html_url":"https://github.com/purescript/purescript/issues/1573","id":113438875,"number":1573,"title":"Use Types.Proxy.Proxy instead of Data.Generic.Proxy","user":{"login":"tfausak","id":408753,"avatar_url":"https://avatars.githubusercontent.com/u/408753?v=3","gravatar_id":"","url":"https://api.github.com/users/tfausak","html_url":"https://github.com/tfausak","followers_url":"https://api.github.com/users/tfausak/followers","following_url":"https://api.github.com/users/tfausak/following{/other_user}","gists_url":"https://api.github.com/users/tfausak/gists{/gist_id}","starred_url":"https://api.github.com/users/tfausak/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tfausak/subscriptions","organizations_url":"https://api.github.com/users/tfausak/orgs","repos_url":"https://api.github.com/users/tfausak/repos","events_url":"https://api.github.com/users/tfausak/events{/privacy}","received_events_url":"https://api.github.com/users/tfausak/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/purescript/purescript/labels/enhancement","name":"enhancement","color":"84b6eb"},{"url":"https://api.github.com/repos/purescript/purescript/labels/libraries","name":"libraries","color":"0052cc"},{"url":"https://api.github.com/repos/purescript/purescript/labels/typechecker","name":"typechecker","color":"009800"}],"state":"closed","locked":false,"assignee":null,"milestone":{"url":"https://api.github.com/repos/purescript/purescript/milestones/11","html_url":"https://github.com/purescript/purescript/milestones/0.8.0","labels_url":"https://api.github.com/repos/purescript/purescript/milestones/11/labels","id":1073621,"number":11,"title":"0.8.0","description":"Focus areas:\r\n\r\n- Bug fixes\r\n- Performance\r\n- Improving error messages\r\n\r\nEverything else is being bumped to 0.9.","creator":{"login":"paf31","id":630306,"avatar_url":"https://avatars.githubusercontent.com/u/630306?v=3","gravatar_id":"","url":"https://api.github.com/users/paf31","html_url":"https://github.com/paf31","followers_url":"https://api.github.com/users/paf31/followers","following_url":"https://api.github.com/users/paf31/following{/other_user}","gists_url":"https://api.github.com/users/paf31/gists{/gist_id}","starred_url":"https://api.github.com/users/paf31/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/paf31/subscriptions","organizations_url":"https://api.github.com/users/paf31/orgs","repos_url":"https://api.github.com/users/paf31/repos","events_url":"https://api.github.com/users/paf31/events{/privacy}","received_events_url":"https://api.github.com/users/paf31/received_events","type":"User","site_admin":false},"open_issues":26,"closed_issues":130,"state":"open","created_at":"2015-04-18T23:12:02Z","updated_at":"2015-11-18T16:53:54Z","due_on":null,"closed_at":null},"comments":4,"created_at":"2015-10-26T20:00:10Z","updated_at":"2015-11-18T16:53:54Z","closed_at":"2015-11-18T16:53:54Z","body":"As discovered in purescript/purescript-generics#19, the compiler uses `Data.Generic.Proxy`. I'm trying to update the purescript-generics package to use the existing `Types.Proxy.Proxy` from purescript-proxy. Doing that requires the compiler to switch from `Data.Generic.Proxy` to `Types.Proxy.Proxy`.\r\n\r\nI'm pretty sure [this line](https://github.com/purescript/purescript/blob/2c7f09292648249d9e3dabdd79cad2b26e75a15e/src/Language/PureScript/Sugar/TypeClasses/Deriving.hs#L132) needs to change. "}}