- renamings
- paste in more example
- unpack2 for equality