Haskell is just a DSL for category theory. Haskell is just a DSL for category theory. By Ben Sima It's me. View all of Ben Sima's posts.