|
|
@ -865,7 +865,7 @@ That one operation should respect identity:
|
|
|
|
map id = id
|
|
|
|
map id = id
|
|
|
|
```
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
|
|
And that one operation should be distributive:
|
|
|
|
And that one operation should be distributive with respect to function composition:
|
|
|
|
|
|
|
|
|
|
|
|
```
|
|
|
|
```
|
|
|
|
map (p . q) = (map p) . (map q)
|
|
|
|
map (p . q) = (map p) . (map q)
|
|
|
|