Generally, our stance is to prefer strictness, impurity, and clarity of analysis around speed and memory usage, instead of laziness, purity, and elegance. Also I prefer the Ocaml module system and its FFI, though I am wistful about Haskell's typeclasses.
Good to know, thanks!
Hopefully we'll get modular implicits some day, which should help with the typeclass envy ;)