Datatype.S_with_collections