|
|
|
|
|
|
by nybble41
2791 days ago
|
|
|
Yes, though that definition results in: pure id <*> ZipList [x, y, z] == ZipList [x]
and thus breaks one of the Applicative laws: pure id <*> v == v
The standard ZipList definition is `pure a = ZipList (repeat a)` (an infinite list).The issue with defining a Monad instance for ZList is that mapping the function on the right of (>>=) over the ZList on the left gets you a ZList of `ZList b`, with no meaningful way to zip these ZLists together. |
|
|