The Haskell List datatype can also be represented in type theory in a slightly different form, thus: μ ϕ . λ α .1 + α × ϕ   α {\displaystyle \mu \phi .\lambda \alpha .1+\alpha \times \phi \ \alpha } .
Ο τύπος List της Haskell μπορεί επίσης να αναπαρασταθεί στην θεωρία τύπων σε μια ελαφρώς διαφορετική μορφή ως ακολούθως: μ ϕ . λ α .1 + α × ϕ   α {\displaystyle \mu \phi .\lambda \alpha .1+\alpha \times \phi \ \alpha } .