Skip to content

Multiparam Typeclass version of categorical functors. #374

Multiparam Typeclass version of categorical functors.

Multiparam Typeclass version of categorical functors. #374