相关疑难解决方法(0)

以下是结构感应的定义吗？

foldr f a (xs::ys) = foldr f (foldr f a ys) xs

有人能给我一个Haskell结构感应的例子吗？