comonadic semantics addded