3 ms·You should google "hindley milner"by softshellack 8y agoYou should google "hindley milner"quickthrower2 8y agoAnd refinement types