Objects are a poor man's closure. Closures are a poor man's object. Objects are a poor man's first-class module, and so are closures. First-class modules are a poor man's type-class. Type-classes are a poor man's first-class module.

Hail, Torat Exists, the holy teachings of the existential type!