starting to learn Haskell, I think it would be a good place for me to get started with more type theory and programming language stuff