At least for me, coming from an imperative language OCaml's runtime seemed like magic. But I know now that it's only because I was comparing OCaml to C.

I think getting lost in the implementation details is what gets many Haskell learners, because the majority know an imperative language and use it as the base.