GHCi: import Control.Comonad.