Comonad: using codo-notation