Answered Comonad.hs