prelude-extras instances for Control.Comonad.Trans.Coiter