|
|
|
|
|
by tel
2417 days ago
|
|
A strong functor is one which supports the strength operation above. Haskell -> arrows being based on any lambda term are rich enough to make all Haskell functors strong. But not all functors are! And “non-string” was just a typo. |
|