> Haskell can implement the OO style using existential types (forall),

Although on emight say that passing functions (closures) or records of functions explicitly might be a more idiomatic pattern.