{"action":"created","issue":{"url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/1398","labels_url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/1398/labels{/name}","comments_url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/1398/comments","events_url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/1398/events","html_url":"https://github.com/ceylon/ceylon-spec/issues/1398","id":100188816,"number":1398,"title":"Have language modules enforce that sequence types' have the highest specificity possible","user":{"login":"Zambonifofex","id":12286722,"avatar_url":"https://avatars.githubusercontent.com/u/12286722?v=3","gravatar_id":"","url":"https://api.github.com/users/Zambonifofex","html_url":"https://github.com/Zambonifofex","followers_url":"https://api.github.com/users/Zambonifofex/followers","following_url":"https://api.github.com/users/Zambonifofex/following{/other_user}","gists_url":"https://api.github.com/users/Zambonifofex/gists{/gist_id}","starred_url":"https://api.github.com/users/Zambonifofex/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zambonifofex/subscriptions","organizations_url":"https://api.github.com/users/Zambonifofex/orgs","repos_url":"https://api.github.com/users/Zambonifofex/repos","events_url":"https://api.github.com/users/Zambonifofex/events{/privacy}","received_events_url":"https://api.github.com/users/Zambonifofex/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":22,"created_at":"2015-08-10T23:09:35Z","updated_at":"2015-08-15T14:04:19Z","closed_at":null,"body":"Currently, a tuple that contains, for example, only a string might not be an instance of type `[String]`. I think this is wrong. If `Tuple` was made sealed, the language modules could enforce that all sequences are of the most specific type they can be."},"comment":{"url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/comments/131384661","html_url":"https://github.com/ceylon/ceylon-spec/issues/1398#issuecomment-131384661","issue_url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/1398","id":131384661,"user":{"login":"Zambonifofex","id":12286722,"avatar_url":"https://avatars.githubusercontent.com/u/12286722?v=3","gravatar_id":"","url":"https://api.github.com/users/Zambonifofex","html_url":"https://github.com/Zambonifofex","followers_url":"https://api.github.com/users/Zambonifofex/followers","following_url":"https://api.github.com/users/Zambonifofex/following{/other_user}","gists_url":"https://api.github.com/users/Zambonifofex/gists{/gist_id}","starred_url":"https://api.github.com/users/Zambonifofex/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zambonifofex/subscriptions","organizations_url":"https://api.github.com/users/Zambonifofex/orgs","repos_url":"https://api.github.com/users/Zambonifofex/repos","events_url":"https://api.github.com/users/Zambonifofex/events{/privacy}","received_events_url":"https://api.github.com/users/Zambonifofex/received_events","type":"User","site_admin":false},"created_at":"2015-08-15T14:04:19Z","updated_at":"2015-08-15T14:04:19Z","body":"@gavinking couldn't at least tuples have the most specific type? I feel like this is one considerably big advantage of laziness, and it's just not being taken advantage of..."}}