Fixed chop typeinference