squares

A library for working with natural transformations of type See the Data.Square module for an introduction.