[antics]

I don't think I understand, but am happy to help clarify. That is a TypeScript file where the type `DatabaseInstance` is defined. It's a completely normal TypeScript type—it will get picked up by editors, verified by the compiler, and so on. It is exactly the sort of type you'll find in CDK.

[stephenmc]

It sounds like she/he/they really don't like your product and are reluctant to admit they were wrong. I for one am enjoying my Pulumi adventure.

[houqp]

Me too, big fan of pulumi!