The GHC typechecker is Turing-complete (2006) | Heykuki News