New posts in system-f

How did Haskell add Turing-completeness to System F?

haskell type-systems lambda-calculus turing-complete system-f