I’m an intermediate Haskell developer so I have some exposure to category theory. I want to go deeper into CT and explore how we can design more composable software. Can anyone recommend some resources that I should check out?