What does typing have to do with interpreted vs. compiled? Hugs is an interpreter. And it's not a problem to build typed eDSLs on top of an untyped core langua

What does typing have to do with interpreted vs. compiled? Hugs is an interpreter. And it's not a problem to build typed eDSLs on top of an untyped core language - see Typed Racket or Shen for example.