[foobarbaz1234]

Yes, there are always too many ideas to explore and too less time. However if you want to look into a static typed functional language I would go with Haskell as it tries harder to exploit a type system to do useful work (although there are even more sophisticated ways to do programming, i.e. by writing proofs (~= programs) in proof-systems, e.g. coq, Isabelle, etc.).

I was introduced to OCaml at my University, but switched later to Haskell and it seemed simpler too me. Furthermore Haskell's ecosystem seems to be more major (or maybe just more vocal?).

[mercurial]

It's interesting you found Haskell to be simpler. Would you mind expanding on that?

Haskell's ecosystem is certainly bigger than OCaml's, though both are fairly niche.