Type cast yielded values
Update describes
Add SplayTreeMap container (with spec)