私は図書館を見てきましたが、何に使われるのか、あるいはそれが何をするのかさえもrecursion-schemes非常に混乱しています。preproそれを「フォッキンガのプレプロモルフィズム」と表現することはあまり有益ではなく、署名 ( prepro :: Corecursive t => (forall b . Base t b -> Base t b) -> (Base t a -> a) -> t -> a) は (カタモルフィズム) と非常によく似てcataいますが、追加の議論があり、その意図は不明です。誰かがこの機能が何を意味するのか説明できますか?