Tests
Use test-framework
Reogranize tests
Distinct tests
Remove examples from .cabal
test/run.sh
.gitignore
Remove depth
Put the Show instance for functions back
Style
Split coseries into a separate class
Add a fair application operator <~>
Update generic instances
We don't need dlist anymore