The Future of Type Parameters in Elm

In Elm, you can use an underscore to not annotate a type and let type inference take care of it. It's kind of early days exploration when it comes to that part. I could see kind of hacking that in user land with some kind of wrapper type,. maybe wrapping a task or something like that, that could get really clunky.