+ Restricted instances of Comonad.

List-like containers can act as Comonads if they are not empty. Extract for an empty list will throw an error.