Unification seems to work when there are no recursive types. Resurceve types make the CPU hot!