First Class Citizens in Haskell?

In haskell, functions are first class citizens. This allows you to build up something really complex without having like, y nasty spaghetti code. In java am classes, the actual class definition is a first class because you can actually pass the class type as a function parimeter in some cases. And that's how you kind of leak the link the series of events to handle the state machine for example.