{"action":"created","issue":{"url":"https://api.github.com/repos/purescript/purescript/issues/1580","labels_url":"https://api.github.com/repos/purescript/purescript/issues/1580/labels{/name}","comments_url":"https://api.github.com/repos/purescript/purescript/issues/1580/comments","events_url":"https://api.github.com/repos/purescript/purescript/issues/1580/events","html_url":"https://github.com/purescript/purescript/issues/1580","id":113947628,"number":1580,"title":"Functional Dependencies","user":{"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},"labels":[{"url":"https://api.github.com/repos/purescript/purescript/labels/enhancement","name":"enhancement","color":"84b6eb"},{"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/10","html_url":"https://github.com/purescript/purescript/milestones/0.9.0","labels_url":"https://api.github.com/repos/purescript/purescript/milestones/10/labels","id":858709,"number":10,"title":"0.9.0","description":"Focus on type checker improvements:\r\n\r\n- Functional dependencies\r\n- Separating monotypes from polytypes in typing rules","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":43,"closed_issues":15,"state":"open","created_at":"2014-11-08T21:18:46Z","updated_at":"2015-11-14T22:10:29Z","due_on":null,"closed_at":null},"comments":7,"created_at":"2015-10-28T23:26:28Z","updated_at":"2015-11-15T19:00:49Z","closed_at":null,"body":""},"comment":{"url":"https://api.github.com/repos/purescript/purescript/issues/comments/156843427","html_url":"https://github.com/purescript/purescript/issues/1580#issuecomment-156843427","issue_url":"https://api.github.com/repos/purescript/purescript/issues/1580","id":156843427,"user":{"login":"jdegoes","id":156745,"avatar_url":"https://avatars.githubusercontent.com/u/156745?v=3","gravatar_id":"","url":"https://api.github.com/users/jdegoes","html_url":"https://github.com/jdegoes","followers_url":"https://api.github.com/users/jdegoes/followers","following_url":"https://api.github.com/users/jdegoes/following{/other_user}","gists_url":"https://api.github.com/users/jdegoes/gists{/gist_id}","starred_url":"https://api.github.com/users/jdegoes/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jdegoes/subscriptions","organizations_url":"https://api.github.com/users/jdegoes/orgs","repos_url":"https://api.github.com/users/jdegoes/repos","events_url":"https://api.github.com/users/jdegoes/events{/privacy}","received_events_url":"https://api.github.com/users/jdegoes/received_events","type":"User","site_admin":false},"created_at":"2015-11-15T19:00:48Z","updated_at":"2015-11-15T19:00:48Z","body":"Are they exactly equivalent in terms of expressive power?"}}