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
Functor
implementation fors
for free by using using two facts- the Homomorhism Property for
mu
:mu (fmap f s) = fmap f (mu s)
- the Homomorhism Property for
mu
andmu'
are inverse