it's really neat, I love how easy it is to search for functions by type to find what you need.

The one thing I ran into (as someone who only vaguely knows haskell) is that it seems like it's impossible to write a function that takes a list of A or B as an argument and then branch on the type of each element. I can use Either but then I need to decorate each element in the list with Left/Right rather than just use their types.

This is probably just not how things work in Haskell and I just need to be okay with that.