Add typeclasses law tests #7
Description
- Profunctor:
(->) - Profunctor:
Fun - Profunctor:
Forget - Strong:
(->) - Strong:
Fun - Strong:
Forget - Choice:
(->) - Choice:
Fun - Choice:
Forget - Monoidal:
(->) - Monoidal:
Fun - Monoidal:
Forget
{{ message }}