An interpreter for Haskell's External Core