comonad transformers based on functional-dependencies