Внезапно: чего не хватает в Хаскеле, языке, где все иммутабельно, так это нормальной поддержки энумов/констант в паттерн-матчинге.
Кусок из Эйлер-84

prob d 12 {-U1  -} = d 12 + cardP (d 7 + d 36)
prob d 15 {-R2  -} = d 15 + cardP 2 * d 7
prob d 17 {-CC2 -} = ccP * d 17
prob d 19 {-D3  -} = d 19 + cardP (d 22)
prob d 22 {-CH2 -} = chP * d 22

Если б вместо чисел были константы, было б читабельнее.

Upd. Я слоупок, есть же class Enum.