[WIP] Free Theorem

参考リソース

• The second Functor law is redundant

• Review: Theorems for Free

• Parametricity Tutorial (Part 1)

• Parametricity Tutorial (Part 2): Type constructors and type classes