Merged into comonad 3.2