Question

There are quite a few dynamically typed object oriented languages in which a class itself is an object. Smalltalk, and Python for example. Is there any statically typed language in which a class is an object?

EDIT:

By the term “object”, I mean a first class entity. For example, classes in Python can be passed to other methods, can be returned from methods etc.

Answer 1

From Oleg Kiselyov and Ralph Lammel’s “Haskell’s overlooked object system” (emphasis mine),

Not only OOHaskell provides the conventional OO idioms; we have also
language-engineered several features that are either bleeding-edge or unattainable
in mainstream OO languages: for example, first-class classes and class closures; statically type-checked collection classes with bounded polymorphism of implicit collection arguments; multiple inheritance with user-controlled sharing; safe co-variant
argument subtyping.