{"action":"opened","issue":{"url":"https://api.github.com/repos/agda/agda/issues/1805","labels_url":"https://api.github.com/repos/agda/agda/issues/1805/labels{/name}","comments_url":"https://api.github.com/repos/agda/agda/issues/1805/comments","events_url":"https://api.github.com/repos/agda/agda/issues/1805/events","html_url":"https://github.com/agda/agda/issues/1805","id":129618916,"number":1805,"title":"Strict Maybe doesn't satisfy the monoid properties","user":{"login":"asr","id":635804,"avatar_url":"https://avatars.githubusercontent.com/u/635804?v=3","gravatar_id":"","url":"https://api.github.com/users/asr","html_url":"https://github.com/asr","followers_url":"https://api.github.com/users/asr/followers","following_url":"https://api.github.com/users/asr/following{/other_user}","gists_url":"https://api.github.com/users/asr/gists{/gist_id}","starred_url":"https://api.github.com/users/asr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/asr/subscriptions","organizations_url":"https://api.github.com/users/asr/orgs","repos_url":"https://api.github.com/users/asr/repos","events_url":"https://api.github.com/users/asr/events{/privacy}","received_events_url":"https://api.github.com/users/asr/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/agda/agda/labels/bug","name":"bug","color":"fc2929"}],"state":"open","locked":false,"assignee":{"login":"asr","id":635804,"avatar_url":"https://avatars.githubusercontent.com/u/635804?v=3","gravatar_id":"","url":"https://api.github.com/users/asr","html_url":"https://github.com/asr","followers_url":"https://api.github.com/users/asr/followers","following_url":"https://api.github.com/users/asr/following{/other_user}","gists_url":"https://api.github.com/users/asr/gists{/gist_id}","starred_url":"https://api.github.com/users/asr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/asr/subscriptions","organizations_url":"https://api.github.com/users/asr/orgs","repos_url":"https://api.github.com/users/asr/repos","events_url":"https://api.github.com/users/asr/events{/privacy}","received_events_url":"https://api.github.com/users/asr/received_events","type":"User","site_admin":false},"milestone":null,"comments":0,"created_at":"2016-01-28T23:41:08Z","updated_at":"2016-01-28T23:41:08Z","closed_at":null,"body":"The `Monoid` instance\r\n\r\n```haskell\r\ninstance Monoid a => Monoid (Maybe a) where\r\n  mempty = Nothing\r\n\r\n  Nothing `mappend` _       = Nothing\r\n  _       `mappend` Nothing = Nothing\r\n  Just x1 `mappend` Just x2 = Just (x1 `mappend` x2)\r\n```\r\n defined in Utils/Maybe/Strict.hs doesn't satisfy the monoid properties. I filed the issue https://github.com/meiersi/strict-base-types/issues/11.\r\n\r\n"}}