Strong profunctor laws based on category theory#2640

Merged

kailuowang merged 4 commits intotypelevel:masterfrom lemastero:StrongLaws

Feb 15, 2019

+80-22

Commits on Nov 25, 2018

Commits on Nov 26, 2018

add link to Haskell impl, refactor common parts
lemastero
committed