Awesome

comonad

This package provides comonads for Idris.

Installation

idris --install comonad.ipkg

Documentation

You can find documentation here.