comonad This package provides comonads for Idris. Installation idris --install comonad.ipkg Documentation You can find documentation here.