{"action":"created","issue":{"url":"https://api.github.com/repos/typelevel/cats/issues/1381","repository_url":"https://api.github.com/repos/typelevel/cats","labels_url":"https://api.github.com/repos/typelevel/cats/issues/1381/labels{/name}","comments_url":"https://api.github.com/repos/typelevel/cats/issues/1381/comments","events_url":"https://api.github.com/repos/typelevel/cats/issues/1381/events","html_url":"https://github.com/typelevel/cats/issues/1381","id":177664855,"number":1381,"title":"Figure out what to do with MonadCombine and left-distributivity","user":{"login":"ceedubs","id":977929,"avatar_url":"https://avatars.githubusercontent.com/u/977929?v=3","gravatar_id":"","url":"https://api.github.com/users/ceedubs","html_url":"https://github.com/ceedubs","followers_url":"https://api.github.com/users/ceedubs/followers","following_url":"https://api.github.com/users/ceedubs/following{/other_user}","gists_url":"https://api.github.com/users/ceedubs/gists{/gist_id}","starred_url":"https://api.github.com/users/ceedubs/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ceedubs/subscriptions","organizations_url":"https://api.github.com/users/ceedubs/orgs","repos_url":"https://api.github.com/users/ceedubs/repos","events_url":"https://api.github.com/users/ceedubs/events{/privacy}","received_events_url":"https://api.github.com/users/ceedubs/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-09-18T17:30:14Z","updated_at":"2016-09-19T17:48:42Z","closed_at":null,"body":"This is a follow-up item to address the left-distributivity law from `MonadCombine` being removed in #1345. In the comments on that PR there is some discussion about this law and whether or not it should exist in its previous form on `MonadCombine`."},"comment":{"url":"https://api.github.com/repos/typelevel/cats/issues/comments/248067156","html_url":"https://github.com/typelevel/cats/issues/1381#issuecomment-248067156","issue_url":"https://api.github.com/repos/typelevel/cats/issues/1381","id":248067156,"user":{"login":"non","id":218045,"avatar_url":"https://avatars.githubusercontent.com/u/218045?v=3","gravatar_id":"","url":"https://api.github.com/users/non","html_url":"https://github.com/non","followers_url":"https://api.github.com/users/non/followers","following_url":"https://api.github.com/users/non/following{/other_user}","gists_url":"https://api.github.com/users/non/gists{/gist_id}","starred_url":"https://api.github.com/users/non/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/non/subscriptions","organizations_url":"https://api.github.com/users/non/orgs","repos_url":"https://api.github.com/users/non/repos","events_url":"https://api.github.com/users/non/events{/privacy}","received_events_url":"https://api.github.com/users/non/received_events","type":"User","site_admin":false},"created_at":"2016-09-19T17:48:42Z","updated_at":"2016-09-19T17:48:42Z","body":"I support what @johnynek proposed: `MonadOr` and `MonadCombine`, each with the relevant set of laws."}}
{"actor":{"display_login":"non"}}