Cobind, Comonad
F1#contramap
Comonad.narrow, comonad