Principled type conversions with Natural Transformations

We learn what a natural transformation is and see the laws it must obey. We will see how a natural transformation must uphold the law of nt(x).map(f) == nt(x.map(f)).

Please take a moment to tell your friends:

You must be a PRO Member to view code