{"action":"created","issue":{"url":"https://api.github.com/repos/non/cats/issues/30","labels_url":"https://api.github.com/repos/non/cats/issues/30/labels{/name}","comments_url":"https://api.github.com/repos/non/cats/issues/30/comments","events_url":"https://api.github.com/repos/non/cats/issues/30/events","html_url":"https://github.com/non/cats/issues/30","id":56168059,"number":30,"title":"Justify Bimonad","user":{"login":"tpolecat","id":1200131,"avatar_url":"https://avatars.githubusercontent.com/u/1200131?v=3","gravatar_id":"","url":"https://api.github.com/users/tpolecat","html_url":"https://github.com/tpolecat","followers_url":"https://api.github.com/users/tpolecat/followers","following_url":"https://api.github.com/users/tpolecat/following{/other_user}","gists_url":"https://api.github.com/users/tpolecat/gists{/gist_id}","starred_url":"https://api.github.com/users/tpolecat/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tpolecat/subscriptions","organizations_url":"https://api.github.com/users/tpolecat/orgs","repos_url":"https://api.github.com/users/tpolecat/repos","events_url":"https://api.github.com/users/tpolecat/events{/privacy}","received_events_url":"https://api.github.com/users/tpolecat/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/non/cats/labels/documentation","name":"documentation","color":"fad8c7"},{"url":"https://api.github.com/repos/non/cats/labels/testing","name":"testing","color":"eb6420"}],"state":"open","locked":false,"assignee":{"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},"milestone":null,"comments":20,"created_at":"2015-02-01T16:10:01Z","updated_at":"2015-09-28T11:30:25Z","closed_at":null,"body":"Per a conversation with Kmett that I only understood about 10% of (i.e., better than usual) the notion of `Bimonad` is interesting only if the `Monad` and `Comonad` instances are each others' co-algebras, otherwise we can't say anything interesting. It's also not clear whether these things we can say lead to useful derived operations. So I suggest removing `Bimonad` unless we can state its law and identify operations that it provides; closing the diamond is fun but not reason enough."},"comment":{"url":"https://api.github.com/repos/non/cats/issues/comments/143718144","html_url":"https://github.com/non/cats/issues/30#issuecomment-143718144","issue_url":"https://api.github.com/repos/non/cats/issues/30","id":143718144,"user":{"login":"InTheNow","id":5887373,"avatar_url":"https://avatars.githubusercontent.com/u/5887373?v=3","gravatar_id":"","url":"https://api.github.com/users/InTheNow","html_url":"https://github.com/InTheNow","followers_url":"https://api.github.com/users/InTheNow/followers","following_url":"https://api.github.com/users/InTheNow/following{/other_user}","gists_url":"https://api.github.com/users/InTheNow/gists{/gist_id}","starred_url":"https://api.github.com/users/InTheNow/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/InTheNow/subscriptions","organizations_url":"https://api.github.com/users/InTheNow/orgs","repos_url":"https://api.github.com/users/InTheNow/repos","events_url":"https://api.github.com/users/InTheNow/events{/privacy}","received_events_url":"https://api.github.com/users/InTheNow/received_events","type":"User","site_admin":false},"created_at":"2015-09-28T11:30:25Z","updated_at":"2015-09-28T11:30:25Z","body":"__Disclaimer__: I've never, ever had a naming suggestion taken up.\r\n\r\n_DualedMonad_ - ie an _XZY_ that has been _Dualed_ with itself:\r\n\r\nFrom Google:\r\n```\r\nShowing results for Dual edMond\r\nNo results found for DualedMonad \r\n```\r\n"}}