scale sequence can be cast to List but not ArrayList