Comonad-duplicate