{"action":"closed","issue":{"url":"https://api.github.com/repos/tfausak/purescript-neon/issues/78","labels_url":"https://api.github.com/repos/tfausak/purescript-neon/issues/78/labels{/name}","comments_url":"https://api.github.com/repos/tfausak/purescript-neon/issues/78/comments","events_url":"https://api.github.com/repos/tfausak/purescript-neon/issues/78/events","html_url":"https://github.com/tfausak/purescript-neon/issues/78","id":119785898,"number":78,"title":"Remove overlap between add/or, multiply/and?","user":{"login":"tfausak","id":408753,"avatar_url":"https://avatars.githubusercontent.com/u/408753?v=3","gravatar_id":"","url":"https://api.github.com/users/tfausak","html_url":"https://github.com/tfausak","followers_url":"https://api.github.com/users/tfausak/followers","following_url":"https://api.github.com/users/tfausak/following{/other_user}","gists_url":"https://api.github.com/users/tfausak/gists{/gist_id}","starred_url":"https://api.github.com/users/tfausak/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tfausak/subscriptions","organizations_url":"https://api.github.com/users/tfausak/orgs","repos_url":"https://api.github.com/users/tfausak/repos","events_url":"https://api.github.com/users/tfausak/events{/privacy}","received_events_url":"https://api.github.com/users/tfausak/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/tfausak/purescript-neon/labels/question","name":"question","color":"cc317c"}],"state":"closed","locked":false,"assignee":{"login":"tfausak","id":408753,"avatar_url":"https://avatars.githubusercontent.com/u/408753?v=3","gravatar_id":"","url":"https://api.github.com/users/tfausak","html_url":"https://github.com/tfausak","followers_url":"https://api.github.com/users/tfausak/followers","following_url":"https://api.github.com/users/tfausak/following{/other_user}","gists_url":"https://api.github.com/users/tfausak/gists{/gist_id}","starred_url":"https://api.github.com/users/tfausak/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tfausak/subscriptions","organizations_url":"https://api.github.com/users/tfausak/orgs","repos_url":"https://api.github.com/users/tfausak/repos","events_url":"https://api.github.com/users/tfausak/events{/privacy}","received_events_url":"https://api.github.com/users/tfausak/received_events","type":"User","site_admin":false},"milestone":null,"comments":1,"created_at":"2015-12-01T19:10:51Z","updated_at":"2015-12-02T03:02:20Z","closed_at":"2015-12-02T03:02:20Z","body":"For booleans, `and` is the same as `multiply` and `or` is the same as `add`. I don't like this duplication. I see a few ways out of it:\r\n\r\n- Implement one in terms of the other.\r\n\r\n  ``` purescript\r\n  instance booleanHasAnd :: HasAnd Boolean where\r\n    and x y = x * y\r\n  ```\r\n\r\n- Remove `and`. The downside of this is that `false * true` is less obvious than `false && true`. I suppose `&&` could be an alias for `*`, but then you could do `2 && 3` and get `6`. \r\n\r\n- Remove the multiply instance for booleans. This means you could not do `false * true`, which might be a good thing. I only really added the instance in the first place because it was possible and law-abiding. Unfortunately this would mean removing the `one` and `zero` instances for booleans as well. "}}