我正在阅读理查德·伯德（Richard Bird）的《用Haskell进行功能思考》（Thinking Functionally with Haskell）一书，其中有一节我不明白他在哪里证明了过滤器...