Questions on https://github.com/bolt12/advent-of-haskell-dd
In the the section "Calculating an implementations":
-
I'm not sure if I undertand the paragraph under the 'IsStack' class definition. If I try to use my own words I understood it as:
You can get
Functorimplementation forsfor free by using using two facts- the Homomorhism Property for
mu:mu (fmap f s) = fmap f (mu s)
- the Homomorhism Property for
muandmu'are inverse