{"action":"reopened","issue":{"url":"https://api.github.com/repos/purescript/purescript/issues/1310","labels_url":"https://api.github.com/repos/purescript/purescript/issues/1310/labels{/name}","comments_url":"https://api.github.com/repos/purescript/purescript/issues/1310/comments","events_url":"https://api.github.com/repos/purescript/purescript/issues/1310/events","html_url":"https://github.com/purescript/purescript/issues/1310","id":97545679,"number":1310,"title":"Inject seems to do something funny with row unification","user":{"login":"garyb","id":693642,"avatar_url":"https://avatars.githubusercontent.com/u/693642?v=3","gravatar_id":"","url":"https://api.github.com/users/garyb","html_url":"https://github.com/garyb","followers_url":"https://api.github.com/users/garyb/followers","following_url":"https://api.github.com/users/garyb/following{/other_user}","gists_url":"https://api.github.com/users/garyb/gists{/gist_id}","starred_url":"https://api.github.com/users/garyb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/garyb/subscriptions","organizations_url":"https://api.github.com/users/garyb/orgs","repos_url":"https://api.github.com/users/garyb/repos","events_url":"https://api.github.com/users/garyb/events{/privacy}","received_events_url":"https://api.github.com/users/garyb/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/purescript/purescript/labels/bug","name":"bug","color":"fc2929"},{"url":"https://api.github.com/repos/purescript/purescript/labels/typechecker","name":"typechecker","color":"009800"}],"state":"open","locked":false,"assignee":null,"milestone":{"url":"https://api.github.com/repos/purescript/purescript/milestones/11","html_url":"https://github.com/purescript/purescript/milestones/0.8.0","labels_url":"https://api.github.com/repos/purescript/purescript/milestones/11/labels","id":1073621,"number":11,"title":"0.8.0","description":"Focus areas:\r\n\r\n- Bug fixes\r\n- Performance\r\n- Improving error messages\r\n\r\nEverything else is being bumped to 0.9.","creator":{"login":"paf31","id":630306,"avatar_url":"https://avatars.githubusercontent.com/u/630306?v=3","gravatar_id":"","url":"https://api.github.com/users/paf31","html_url":"https://github.com/paf31","followers_url":"https://api.github.com/users/paf31/followers","following_url":"https://api.github.com/users/paf31/following{/other_user}","gists_url":"https://api.github.com/users/paf31/gists{/gist_id}","starred_url":"https://api.github.com/users/paf31/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/paf31/subscriptions","organizations_url":"https://api.github.com/users/paf31/orgs","repos_url":"https://api.github.com/users/paf31/repos","events_url":"https://api.github.com/users/paf31/events{/privacy}","received_events_url":"https://api.github.com/users/paf31/received_events","type":"User","site_admin":false},"open_issues":62,"closed_issues":54,"state":"open","created_at":"2015-04-18T23:12:02Z","updated_at":"2015-09-12T17:56:52Z","due_on":null,"closed_at":null},"comments":8,"created_at":"2015-07-27T20:15:22Z","updated_at":"2015-09-12T17:56:52Z","closed_at":null,"body":"This typechecks without the `CONSOLE` effect:\r\n\r\n``` purescript\r\nforeign import data Oops :: !\r\n\r\nwhat :: forall eff. Eff (oops :: Oops | eff) Unit\r\nwhat = inj (Control.Monad.Eff.Console.log \"wow\")\r\n```\r\n\r\nIf you try and drop the row and just use `eff` the error is:\r\n```\r\nNo instance found for Data.Inject.Inject (Control.Monad.Eff.Eff (console :: Control.Monad.Eff.Console.CONSOLE | _13)) (Control.Monad.Eff.Eff eff8)\r\n```\r\n\r\nSo perhaps there's something happening with an unknown unifying with the extra effects perhaps? I don't know if that's even possible. I guess it's a problem with instances not types directly though."}}