{"comment":{"url":"https://api.github.com/repos/TiarkRompf/minidot/comments/13490358","html_url":"https://github.com/TiarkRompf/minidot/commit/567beadef2c8af62d67303fe8299c7ea4cec5114#commitcomment-13490358","id":13490358,"user":{"login":"namin","id":6441,"avatar_url":"https://avatars.githubusercontent.com/u/6441?v=3","gravatar_id":"","url":"https://api.github.com/users/namin","html_url":"https://github.com/namin","followers_url":"https://api.github.com/users/namin/followers","following_url":"https://api.github.com/users/namin/following{/other_user}","gists_url":"https://api.github.com/users/namin/gists{/gist_id}","starred_url":"https://api.github.com/users/namin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/namin/subscriptions","organizations_url":"https://api.github.com/users/namin/orgs","repos_url":"https://api.github.com/users/namin/repos","events_url":"https://api.github.com/users/namin/events{/privacy}","received_events_url":"https://api.github.com/users/namin/received_events","type":"User","site_admin":false},"position":null,"line":null,"path":"","commit_id":"567beadef2c8af62d67303fe8299c7ea4cec5114","created_at":"2015-09-29T11:23:57Z","updated_at":"2015-09-29T11:23:57Z","body":"In our case, in addition to subsumption, there's also var unpacking that can change the type."}}