update for comonad 4.0 generalized cohoist
Merge pull request #2 from markwright/master

update for comonad 4.0 generalized cohoist