3 ms·As I understand it, type inference breaks down on dependent types.by dllthomas 11y agoAs I understand it, type inference breaks down on dependent types.