i'm strongly considering making

Collection

a purely synthetic/marker type which cannot be constructed, and which instead just signifies a list/tuple with members of the specified type