peek package:comonad

Peek at what the current focus would be for a different stored value Peek satisfies the law
peek x . extend (peek y) = peek y
Peek at what the current focus would be if the stored value was modified by some function