ここで言われている「証明」ってBirdのHaskell教科書に出てくるようなのですか？