Add test which operations turn lists into comonads.
Add empty line to separate comonad law checks