{"action":"closed","issue":{"url":"https://api.github.com/repos/purescript/purescript/issues/995","labels_url":"https://api.github.com/repos/purescript/purescript/issues/995/labels{/name}","comments_url":"https://api.github.com/repos/purescript/purescript/issues/995/comments","events_url":"https://api.github.com/repos/purescript/purescript/issues/995/events","html_url":"https://github.com/purescript/purescript/issues/995","id":63588464,"number":995,"title":"Typeclass Resolution Seems Off","user":{"login":"cabrera","id":333072,"avatar_url":"https://avatars.githubusercontent.com/u/333072?v=3","gravatar_id":"","url":"https://api.github.com/users/cabrera","html_url":"https://github.com/cabrera","followers_url":"https://api.github.com/users/cabrera/followers","following_url":"https://api.github.com/users/cabrera/following{/other_user}","gists_url":"https://api.github.com/users/cabrera/gists{/gist_id}","starred_url":"https://api.github.com/users/cabrera/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cabrera/subscriptions","organizations_url":"https://api.github.com/users/cabrera/orgs","repos_url":"https://api.github.com/users/cabrera/repos","events_url":"https://api.github.com/users/cabrera/events{/privacy}","received_events_url":"https://api.github.com/users/cabrera/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-03-22T23:07:30Z","updated_at":"2015-03-22T23:17:20Z","closed_at":"2015-03-22T23:17:20Z","body":"I ran into this error today:\r\n\r\n```purescript\r\n> [1] ++ [2]\r\nError in module $PSCI:\r\nError in value declaration it:\r\nNo instance found for Prelude.Semigroup [Prim.Number]\r\nSee https://github.com/purescript/purescript/wiki/Error-Code-NoInstanceFound for more information, or to contribute content related to this error.\r\n```\r\n\r\nI'm running version 0.6.9.3:\r\n\r\n```purescript\r\nalejandro@parametric:~:$ psci --version\r\n0.6.9.3\r\n```\r\n\r\nMy expectation was that `(<>)` and `(++)` would be able to unify for `[a]` for any `a`. Am I misunderstanding something somewhere?\r\n\r\nThanks!"}}