- [ ] Typeclass laws - [x] duplicate: `length (duplicate xs) = 2 * (lenght xs)` - [x] `rewind` = `reverse`
length (duplicate xs) = 2 * (lenght xs)rewind=reverse