Typeninferenz zum Vereinheitlichungsproblem

Question

Hat jemand eine Idee, wie das Problem der Typinferenz

E > hd (cons 1 nil) : 0

mit der Schreibmaschinenumgebung

                E={
                   hd : list(1 )  1 ,
                   cons : 2  list(2 )  list(2 ),
                   nil : list(3 ),
                   1 : int
                }

in ein Vereinigungsproblem übertragen werden kann?

Für jede Hilfe wären wir dankbar!