A class is a type-structure abstraction that evaluates lazily, and a variable declaration is a type-structure abstraction that evaluates eagerly.