This is simply because we inherit from stm.List. We refine the return type here.
stm.List
Note: this is an O(n) operation.