{"action":"created","issue":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/129","repository_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals","labels_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/129/labels{/name}","comments_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/129/comments","events_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/129/events","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/129","id":318928491,"number":129,"title":"TypeApplications for Overloaded Literals ","user":{"login":"isovector","id":307223,"avatar_url":"https://avatars3.githubusercontent.com/u/307223?v=4","gravatar_id":"","url":"https://api.github.com/users/isovector","html_url":"https://github.com/isovector","followers_url":"https://api.github.com/users/isovector/followers","following_url":"https://api.github.com/users/isovector/following{/other_user}","gists_url":"https://api.github.com/users/isovector/gists{/gist_id}","starred_url":"https://api.github.com/users/isovector/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/isovector/subscriptions","organizations_url":"https://api.github.com/users/isovector/orgs","repos_url":"https://api.github.com/users/isovector/repos","events_url":"https://api.github.com/users/isovector/events{/privacy}","received_events_url":"https://api.github.com/users/isovector/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":25,"created_at":"2018-04-30T15:18:38Z","updated_at":"2018-05-02T10:30:43Z","closed_at":null,"author_association":"NONE","pull_request":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/pulls/129","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/129","diff_url":"https://github.com/ghc-proposals/ghc-proposals/pull/129.diff","patch_url":"https://github.com/ghc-proposals/ghc-proposals/pull/129.patch"},"body":"[Rendered](https://github.com/isovector/ghc-proposals/blob/d2912c6de41ad649bb3394819dd8ffdaa8655979/proposals/0000-type-apply-literals.rst)\r\n\r\n[Reddit discussion](https://www.reddit.com/r/haskell/comments/8g083q/ghc_proposal_typeapplications_for_overloaded/)\r\n\r\nCurrently, types are unable to be applied to overloaded literals via `TypeApplications`. This proposal slightly changes the behavior of applied types in the presence of overloaded literals allowing us to do so."},"comment":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/comments/385934087","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/129#issuecomment-385934087","issue_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/129","id":385934087,"user":{"login":"isovector","id":307223,"avatar_url":"https://avatars3.githubusercontent.com/u/307223?v=4","gravatar_id":"","url":"https://api.github.com/users/isovector","html_url":"https://github.com/isovector","followers_url":"https://api.github.com/users/isovector/followers","following_url":"https://api.github.com/users/isovector/following{/other_user}","gists_url":"https://api.github.com/users/isovector/gists{/gist_id}","starred_url":"https://api.github.com/users/isovector/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/isovector/subscriptions","organizations_url":"https://api.github.com/users/isovector/orgs","repos_url":"https://api.github.com/users/isovector/repos","events_url":"https://api.github.com/users/isovector/events{/privacy}","received_events_url":"https://api.github.com/users/isovector/received_events","type":"User","site_admin":false},"created_at":"2018-05-02T10:30:43Z","updated_at":"2018-05-02T10:30:43Z","author_association":"NONE","body":"[I had a go](https://github.com/ghc/ghc/compare/master...isovector:typelits3?expand=1) at implementing the `integerLit` solution and I must admit, it's significantly nicer than attempting to shuffle the type applications. Color me convinced -- I'll update the proposal with this solution. Thanks for your patience on this, @treeowl."}}
{"actor":{"display_login":"isovector"}}