I've been using Event sourcing in a personal project in Haskell for the past few weeks (for context, it's an algorithmic trading application). I think this paradigm fits a function language extremely well. I don't have a reference application for you, but here are a few resources I've collected:
Googling any combination of "Event sourcing", "CQRS", "funtional programming", "Haskell", etc will probably yield some great results too (basically how I found all of this). I'm not an event sourcing or CQRS expert by any means, but I do write Haskell for a living, and so far I've had some great results building and designing my project using CQRS/ES in Haskell.
I think it's unfortunate that a lot of the literature in this space is so heavily intertwined with object oriented programming and .NET, because CQRS/ES is a great fit for a functional language. (This is probably just due to statistics; more people use .NET languages than Haskell!)
I hope others respond with some more resources! I'd love to see what others have done.
- David