Natali Fisher
Дык в том-то и дело, что если типировщик отклоняется от алгоритма, он становится именно что профессором Трелони. А алгоритмов нормальных нет.