The Comonads package authored by Edward Kmett
