29 Dec
2016
29 Dec
'16
9:54 p.m.
MonadZip doesn't really explain how strict mzipWith and (especially) munzip should be. For example, we could have munzip (Node (a, b) ts) = (Node a as, Node b bs) where (as, bs) = Data.List.unzip (map munzip ts) or we could make some or all of the pattern matches lazy, or we could use something lazier than Data.List.unzip, or we could make everything completely spine-strict (surely unwise). Does anyone have a particular preference, or a particular reason to prefer one choice over others? If not, I think we should go with the simple version above. David Feuer