I'm curious, why isn't type inference used in the examples? For example:<p><a href="http://elm-lang.org/edit/examples/WebGL/Triangle.elm" rel="nofollow">http://elm-lang.org/edit/examples/WebGL/Triangle.elm</a><p>Edit: ok, the language has full type inference, but not the webgl examples.