Skip to content

Multiparam Typeclass version of categorical functors. #376

Multiparam Typeclass version of categorical functors.

Multiparam Typeclass version of categorical functors. #376