Talk:Hindley–Milner type system/to do


 * Algorithm M/Algorithm G