3 ms·It should be able to use a Hindley-Milner algorithm.by pzone 11y agoIt should be able to use a Hindley-Milner algorithm.dllthomas 11y agoAs I understand it, type inference breaks down on dependent types.