and then have something like declareContext<Scope>{ }
a
and then have something like declareContext<Scope>{ }