There's not much info in the spec on what type ascription is, and there certainly isn't anything in there about the purpose for it. Other than "making passing varargs work", what would I use type a...

Several times I've used the wrong syntax, such as forgetting to use let in this example: let closure_annotated = |value: i32| -> i32 { temp: i32 = fun(5i32); temp + value + 1 }; error[E06...

Take the humble identity function in Haskell, id :: forall a. a -> a Given that Haskell supposedly supports impredicative polymorphism, it seems reasonable that I should be able to "restrict...