Oops: Carry over unifications that happened so far
Use records for multi-parameter functions