First stab at comonad specification