almost done, remaining: par-type-inference