[dunham]

Therein I learned that "Haskell is a dynamically-typed, interpreted language".

I've seen it said that Haskell type class resolution is essentially prolog, but this drives the point home well.