Welcome, Johan!

I studied c.s., but have a gap in my learning when it comes to Haskell.

Can you write a little bit about some of the key ways in which constructs from category theory are used in Haskell?

Of course I could find this on the web, but I am interested to hear it from your perspective.