{"action":"opened","issue":{"url":"https://api.github.com/repos/slamdata/purescript-halogen/issues/93","labels_url":"https://api.github.com/repos/slamdata/purescript-halogen/issues/93/labels{/name}","comments_url":"https://api.github.com/repos/slamdata/purescript-halogen/issues/93/comments","events_url":"https://api.github.com/repos/slamdata/purescript-halogen/issues/93/events","html_url":"https://github.com/slamdata/purescript-halogen/issues/93","id":70823207,"number":93,"title":"Make `type` type safe?","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/slamdata/purescript-halogen/labels/question","name":"question","color":"cc317c"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-04-24T23:36:57Z","updated_at":"2015-04-24T23:36:57Z","closed_at":null,"body":"I started working on this, adding a sum type that covers all the valid `type` attributes for `input`, but then I realised that isn't really going to work unfortunately, as the `type` attribute is also usable with `button`, `command`, `embed`, `object`, `script`, etc. tags.\r\n\r\nDo we have any ideas for how something like this might work? Or is it not really worth the pain to make a \"truly\" type safe representation of HTML?"}}