This is Haskell's Tower of Babel.