[azhenley]

Type inference has usability problems (2019): https://austinhenley.com/blog/typeinference.html

[mrkeen]

> Imagine you're told to calculate 3+9+15+18+5.

Too hard. I need to see the types:

  ((((3::Int)+(9::Int)::Int)+(15::Int)::Int)+(18::Int)::Int)+(5::Int)::Int

Is that even harder to read?

> My response? Go refactor your hideous code.