comonadic attempt with modified codo-notation lib