统一问题的类型推断

有谁知道如何 E &gt hd (cons 1 nil) : α0 将打字环境的 E={ hd : list(α1 ) → α1 , cons : α2 → list(α2 ) → list(α2 ), nil : list(α3 ),…