use [] instead of {} in tests for empty seq
new type abbreviation {} for empty iterable
change type of expression {} to type {}