Comonad is a Cobind that also has copoint method. Scalaz defines Comonad[F[_]] with copoint abstract method.
Note that when point method of Monad turns A to F[A], copoint method of Comonad turns F[A] to A.
Since NonEmptyList is Comonad I’m gonna demonstrate it on NonEmptyList:
NonEmptyList(1, 2, 3).copoint 1