> Haskell can implement the OO style using existential types (forall), Although on emight say that passing functions (closures) or records of functions explici

> 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.