get([], seq) returns ()