{"action":"created","issue":{"url":"https://api.github.com/repos/VinylRecords/Vinyl/issues/120","repository_url":"https://api.github.com/repos/VinylRecords/Vinyl","labels_url":"https://api.github.com/repos/VinylRecords/Vinyl/issues/120/labels{/name}","comments_url":"https://api.github.com/repos/VinylRecords/Vinyl/issues/120/comments","events_url":"https://api.github.com/repos/VinylRecords/Vinyl/issues/120/events","html_url":"https://github.com/VinylRecords/Vinyl/issues/120","id":342721633,"node_id":"MDU6SXNzdWUzNDI3MjE2MzM=","number":120,"title":"Restricting and weakening CoRec","user":{"login":"ElvishJerricco","id":1365692,"node_id":"MDQ6VXNlcjEzNjU2OTI=","avatar_url":"https://avatars0.githubusercontent.com/u/1365692?v=4","gravatar_id":"","url":"https://api.github.com/users/ElvishJerricco","html_url":"https://github.com/ElvishJerricco","followers_url":"https://api.github.com/users/ElvishJerricco/followers","following_url":"https://api.github.com/users/ElvishJerricco/following{/other_user}","gists_url":"https://api.github.com/users/ElvishJerricco/gists{/gist_id}","starred_url":"https://api.github.com/users/ElvishJerricco/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ElvishJerricco/subscriptions","organizations_url":"https://api.github.com/users/ElvishJerricco/orgs","repos_url":"https://api.github.com/users/ElvishJerricco/repos","events_url":"https://api.github.com/users/ElvishJerricco/events{/privacy}","received_events_url":"https://api.github.com/users/ElvishJerricco/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-07-19T13:10:47Z","updated_at":"2018-07-19T13:34:33Z","closed_at":null,"author_association":"NONE","body":"I'm having trouble figuring out how to write the following functions:\r\n\r\n```haskell\r\nweakenCoRec :: CoRec f ts -> CoRec f (t ': ts)\r\nrestrictCoRec :: CoRec f (t ': ts) -> Either (f t) (CoRec f ts)\r\n```\r\n\r\nThey seem like they'd be good additions to this library, but I'm not sure if it's possible to implement them with the current CoRec implementation."},"comment":{"url":"https://api.github.com/repos/VinylRecords/Vinyl/issues/comments/406277968","html_url":"https://github.com/VinylRecords/Vinyl/issues/120#issuecomment-406277968","issue_url":"https://api.github.com/repos/VinylRecords/Vinyl/issues/120","id":406277968,"node_id":"MDEyOklzc3VlQ29tbWVudDQwNjI3Nzk2OA==","user":{"login":"acowley","id":124545,"node_id":"MDQ6VXNlcjEyNDU0NQ==","avatar_url":"https://avatars0.githubusercontent.com/u/124545?v=4","gravatar_id":"","url":"https://api.github.com/users/acowley","html_url":"https://github.com/acowley","followers_url":"https://api.github.com/users/acowley/followers","following_url":"https://api.github.com/users/acowley/following{/other_user}","gists_url":"https://api.github.com/users/acowley/gists{/gist_id}","starred_url":"https://api.github.com/users/acowley/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/acowley/subscriptions","organizations_url":"https://api.github.com/users/acowley/orgs","repos_url":"https://api.github.com/users/acowley/repos","events_url":"https://api.github.com/users/acowley/events{/privacy}","received_events_url":"https://api.github.com/users/acowley/received_events","type":"User","site_admin":false},"created_at":"2018-07-19T13:34:33Z","updated_at":"2018-07-19T13:34:33Z","author_association":"CONTRIBUTOR","body":"Is `match1` close to helping? The `RDelete` type family application is a wrinkle. These functions are good ideas, we should have them."}}
{"actor":{"display_login":"acowley"}}