Неленивая ветвь GHC

Я слышал, что есть ветвь GHC, которая компилирует строгий код по умолчанию, тогда как лень может быть включена аннотацией. (IIRC, он сказал финансовая компания разрабатывает ветку и использует ее для производственного кода.) Это правда? Я не могу найти.

Человек также предположил, что мнение о том, что строгое вычисление более практично, чем ленивое вычисление (по умолчанию), получает признание еще и еще. Я не нахожу это подтвержденным в списке рассылки Haskell, но, может быть, это потому, что люди там не настолько ориентированы на практику?

Все, что я нахожу в строгом Haskell, это явные вещи вроде $! и rnf. Хотя я нахожу ленивое вычисление очень элегантным, я хотел бы разработать программу на Haskell, где я хочу избежать утечек памяти и иметь предсказуемую производительность.

Отказ от ответственности: я не ратую за строгость, я просто хотел бы взглянуть на строгий Haskell или что-то в этом роде.