{"action":"created","issue":{"url":"https://api.github.com/repos/purescript/purescript-enums/issues/23","repository_url":"https://api.github.com/repos/purescript/purescript-enums","labels_url":"https://api.github.com/repos/purescript/purescript-enums/issues/23/labels{/name}","comments_url":"https://api.github.com/repos/purescript/purescript-enums/issues/23/comments","events_url":"https://api.github.com/repos/purescript/purescript-enums/issues/23/events","html_url":"https://github.com/purescript/purescript-enums/pull/23","id":188749365,"number":23,"title":"Laws didn't hold for BoundedEnum","user":{"login":"jacereda","id":4195919,"avatar_url":"https://avatars.githubusercontent.com/u/4195919?v=3","gravatar_id":"","url":"https://api.github.com/users/jacereda","html_url":"https://github.com/jacereda","followers_url":"https://api.github.com/users/jacereda/followers","following_url":"https://api.github.com/users/jacereda/following{/other_user}","gists_url":"https://api.github.com/users/jacereda/gists{/gist_id}","starred_url":"https://api.github.com/users/jacereda/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jacereda/subscriptions","organizations_url":"https://api.github.com/users/jacereda/orgs","repos_url":"https://api.github.com/users/jacereda/repos","events_url":"https://api.github.com/users/jacereda/events{/privacy}","received_events_url":"https://api.github.com/users/jacereda/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2016-11-11T12:24:22Z","updated_at":"2016-11-11T12:52:42Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/purescript/purescript-enums/pulls/23","html_url":"https://github.com/purescript/purescript-enums/pull/23","diff_url":"https://github.com/purescript/purescript-enums/pull/23.diff","patch_url":"https://github.com/purescript/purescript-enums/pull/23.patch"},"body":""},"comment":{"url":"https://api.github.com/repos/purescript/purescript-enums/issues/comments/259951096","html_url":"https://github.com/purescript/purescript-enums/pull/23#issuecomment-259951096","issue_url":"https://api.github.com/repos/purescript/purescript-enums/issues/23","id":259951096,"user":{"login":"hdgarrood","id":1270186,"avatar_url":"https://avatars.githubusercontent.com/u/1270186?v=3","gravatar_id":"","url":"https://api.github.com/users/hdgarrood","html_url":"https://github.com/hdgarrood","followers_url":"https://api.github.com/users/hdgarrood/followers","following_url":"https://api.github.com/users/hdgarrood/following{/other_user}","gists_url":"https://api.github.com/users/hdgarrood/gists{/gist_id}","starred_url":"https://api.github.com/users/hdgarrood/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hdgarrood/subscriptions","organizations_url":"https://api.github.com/users/hdgarrood/orgs","repos_url":"https://api.github.com/users/hdgarrood/repos","events_url":"https://api.github.com/users/hdgarrood/events{/privacy}","received_events_url":"https://api.github.com/users/hdgarrood/received_events","type":"User","site_admin":false},"created_at":"2016-11-11T12:52:42Z","updated_at":"2016-11-11T12:52:42Z","body":"I used the word \"retracts\" based on what I read here, in case anyone was wondering: https://en.wikipedia.org/wiki/Section_(category_theory)"}}
{"actor":{"display_login":"hdgarrood"}}