A typed embedding of a javascript-like object language in haskell, using SK combinators