Functor Compose using identity arrows
Merge branch 'master' of https://github.com/ekmett/hask

Conflicts:
	wip/Univariant.hs