今天发现了篇paper，http://brics.dk/RS/05/3/BRICS-RS-05-3.pdf

就是一个小trick，可以用于在2n pattern match下算出zip l (rev r)

看完以后觉得很简单啊，一点都不像某SM（Selection Monad（特大雾

不过为啥想不到呢，orz

最后：