[marcosdumay]

It seems to me that algebraic nominal types are getting strongly attached to functional programming right now. Even on multi-paradigm languages, both idioms tend to come together.

It's not a necessary relation, those things are pretty much independent. Except in that pattern matching and function composition complement each other very well.