Documentation and example for Coiterative comonad