То есть как минимум чистое ядро бэка, бизнес-логику, смиты пилят на хаске,
а фронт (или под ноду) на purescript -- он концептуально ближе всего к хаскелю, есть вывод функторов, тайп-классы с higher-kinded types (но нету deriving via)...

В качестве модной альтернативы на фронтенд можно взять совсем молодой Roc
(автоматический вывод тайпкласс-подобных интерфейсов), который умеет компилировать например в wasm, и в целом весьма прагматичный.

Как альтернатива хаскелю вполне можно посмотреть скаловский dotty, по возможностям практически как ps. Конкретно под суровый прод я бы даже наверное со скалы3 и начал.