2 ms·I thought type inference in Haskell or ML was a global algorithm.by cousin_it 13y agoI thought type inference in Haskell or ML was a global algorithm.