8An algorithm described by Milner and Damas is called Hindley-Milner type inference because the world is cruel. It is sometimes, but rarely, instead called Damas–Hindley–Milner type inference.