{"action":"created","issue":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/126","repository_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals","labels_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/126/labels{/name}","comments_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/126/comments","events_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/126/events","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/126","id":316002138,"number":126,"title":"Type applications in patterns","user":{"login":"nomeata","id":148037,"avatar_url":"https://avatars2.githubusercontent.com/u/148037?v=4","gravatar_id":"","url":"https://api.github.com/users/nomeata","html_url":"https://github.com/nomeata","followers_url":"https://api.github.com/users/nomeata/followers","following_url":"https://api.github.com/users/nomeata/following{/other_user}","gists_url":"https://api.github.com/users/nomeata/gists{/gist_id}","starred_url":"https://api.github.com/users/nomeata/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nomeata/subscriptions","organizations_url":"https://api.github.com/users/nomeata/orgs","repos_url":"https://api.github.com/users/nomeata/repos","events_url":"https://api.github.com/users/nomeata/events{/privacy}","received_events_url":"https://api.github.com/users/nomeata/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2018-04-19T19:04:33Z","updated_at":"2018-04-20T16:06:16Z","closed_at":null,"author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/pulls/126","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/126","diff_url":"https://github.com/ghc-proposals/ghc-proposals/pull/126.diff","patch_url":"https://github.com/ghc-proposals/ghc-proposals/pull/126.patch"},"body":"[Rendered](https://github.com/ghc-proposals/ghc-proposals/blob/type-applications-in-patterns/proposals/type-applications-in-patterns.rst)\r\n\r\nThis proposal gives type applications (`@…`) meaning in patterns, by making sure they behave like type signatures.\r\n\r\nThis happens to also allow binding existential type variables, and hence subsumes #96. But that is a side-product: I believe that the proposal has merits on its own and should “obviously be the case” anyways. "},"comment":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/comments/383144163","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/126#issuecomment-383144163","issue_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/126","id":383144163,"user":{"login":"simonpj","id":584827,"avatar_url":"https://avatars1.githubusercontent.com/u/584827?v=4","gravatar_id":"","url":"https://api.github.com/users/simonpj","html_url":"https://github.com/simonpj","followers_url":"https://api.github.com/users/simonpj/followers","following_url":"https://api.github.com/users/simonpj/following{/other_user}","gists_url":"https://api.github.com/users/simonpj/gists{/gist_id}","starred_url":"https://api.github.com/users/simonpj/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/simonpj/subscriptions","organizations_url":"https://api.github.com/users/simonpj/orgs","repos_url":"https://api.github.com/users/simonpj/repos","events_url":"https://api.github.com/users/simonpj/events{/privacy}","received_events_url":"https://api.github.com/users/simonpj/received_events","type":"User","site_admin":false},"created_at":"2018-04-20T16:06:16Z","updated_at":"2018-04-20T16:06:16Z","author_association":"CONTRIBUTOR","body":"Your answers are telling me more and more about what you have in mind.  But I'd prefer an actual specification!  "}}
{"actor":{"display_login":"simonpj"}}