squares (hackage): A library for working with natural transformations of type  See the Data.Square module for an introduction.
Keywords: bsd3|category-theory|library|math