3 ms·
AFAIK, Haskell requires explicit types for higher-rank types specifically because inference is decidable for them.
by smaddox 5y ago
AFAIK, Haskell requires explicit types for higher-rank types specifically because inference is decidable for them.