Digamos que las listas se definen como
List a = Nil | Cons a (List a)
Entonces, en Haskell, List x
¿cuál es el mayor o menor punto de fijación? Lo pregunto porque el lfp debería excluir listas infinitas (pero puede compilarlas en Haskell), mientras que el gfp debería excluir las finitas.