Portability | rank-2 types, MPTCs |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Data.Functor.Zap
Description
adjunctions-0.6.0: Adjunctions
Portability | rank-2 types, MPTCs |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Data.Functor.Zap
Description