Kilise kodlaması için cata paketini recursion-schemes paketinden kullanabilmek istiyorum. type ListC a = forall b. (a -> b -> b) -> b -> b
Kullanışlılık açısından ikinci bir sıralama türü kullandım,
bir kilise numarasını uygulayın. Bunun yanlış olduğunu biliyorum, çünkü çarpım: ve bunu anladım. Sorun şu ki, hangi işlevin bir kilise numarasının diğerine uygulanmasını oluşturduğunu anlayamıyorum. Ö