Quale FixPoint è il tipo di elenco di Haskell?

Question

Diciamo che gli elenchi sono definiti come

List a = Nil | Cons a (List a)

Quindi, in Haskell lo è List x il più grande o meno fixpoint? Lo sto chiedendo perché l'LFP dovrebbe escludere elenchi infiniti (ma puoi costruirli in Haskell), mentre il GFP dovrebbe escludere quelli finiti.