#Comonads

Image processing with comonads and phantom types

The page shows how a 2D image comonad can express neighborhood-based filters, then uses phantom types to prevent expensive compositions and keep array-based performance.