Fix prelude and eq-deriving
Merge branch 'master' of https://github.com/apunktbau/co4

Conflicts:
	README.md