Sealings & classes in effect syntax.