An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.