{"action":"created","issue":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/16","repository_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals","labels_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/16/labels{/name}","comments_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/16/comments","events_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/16/events","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/16","id":180478444,"number":16,"title":"Type-indexed Typeable","user":{"login":"bgamari","id":1010174,"avatar_url":"https://avatars.githubusercontent.com/u/1010174?v=3","gravatar_id":"","url":"https://api.github.com/users/bgamari","html_url":"https://github.com/bgamari","followers_url":"https://api.github.com/users/bgamari/followers","following_url":"https://api.github.com/users/bgamari/following{/other_user}","gists_url":"https://api.github.com/users/bgamari/gists{/gist_id}","starred_url":"https://api.github.com/users/bgamari/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bgamari/subscriptions","organizations_url":"https://api.github.com/users/bgamari/orgs","repos_url":"https://api.github.com/users/bgamari/repos","events_url":"https://api.github.com/users/bgamari/events{/privacy}","received_events_url":"https://api.github.com/users/bgamari/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":7,"created_at":"2016-10-01T20:31:49Z","updated_at":"2016-10-08T15:46:21Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/pulls/16","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/16","diff_url":"https://github.com/ghc-proposals/ghc-proposals/pull/16.diff","patch_url":"https://github.com/ghc-proposals/ghc-proposals/pull/16.patch"},"body":"Here is a proposal for augmenting our existing `Typeable` mechanism with a variant, `Type.Reflection`, which provides a more strongly typed variant as originally described in [A Reflection on Types](http://research.microsoft.com/en-us/um/people/simonpj/papers/haskell-dynamic/index.htm) (Peyton Jones, *et al.* 2016).\r\n\r\n[Rendered](https://github.com/bgamari/ghc-proposals/blob/typeable/proposals/0000-type-indexed-typeable.rst)"},"comment":{"url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/comments/252431743","html_url":"https://github.com/ghc-proposals/ghc-proposals/pull/16#issuecomment-252431743","issue_url":"https://api.github.com/repos/ghc-proposals/ghc-proposals/issues/16","id":252431743,"user":{"login":"bgamari","id":1010174,"avatar_url":"https://avatars.githubusercontent.com/u/1010174?v=3","gravatar_id":"","url":"https://api.github.com/users/bgamari","html_url":"https://github.com/bgamari","followers_url":"https://api.github.com/users/bgamari/followers","following_url":"https://api.github.com/users/bgamari/following{/other_user}","gists_url":"https://api.github.com/users/bgamari/gists{/gist_id}","starred_url":"https://api.github.com/users/bgamari/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bgamari/subscriptions","organizations_url":"https://api.github.com/users/bgamari/orgs","repos_url":"https://api.github.com/users/bgamari/repos","events_url":"https://api.github.com/users/bgamari/events{/privacy}","received_events_url":"https://api.github.com/users/bgamari/received_events","type":"User","site_admin":false},"created_at":"2016-10-08T15:46:21Z","updated_at":"2016-10-08T15:46:21Z","body":"Icelandjack <notifications@github.com> writes:\n\n> For `Data.Dynamic` I would like to see [`SDynamic`](https://ghc.haskell.org/trac/ghc/wiki/TypeableT#Data.Dynamic):\n>\n> ```haskell\n> data SDynamic s where\n>   SDynamic :: TypeRep a -> s a -> SDynamic s\n> ```\n>\nAlright, I don't see any reason why we couldn't provide this. That being\nsaid, I'm not a fan of the name; why `S`?\n\n"}}
{"actor":{"display_login":"bgamari"}}