Set Nested Proofs Allowed.

Class Foo.
Class Bar := b : Type.

Instance foo : Foo.

Instance bar : Bar.
exact Type.
Defined.

Defined.