[ufo]

> Those data structures + those functions are kind of "an object"

And in this setting, the type of that datastructure containing the functions can act as an interface.

A trap that OO programmers sometimes fall into with Haskell is to try to emulate OO interfaces using existential types + typeclass interfaces but that is a bit of an antipattern.