Smithy -> AST -> CDK -> CloudFormation (+ more)?

[cameroncf]

I've been watching Smithy from afar for awhile and love the concept and seeing how it's used internally at AWS. I do a lot of work with CDK and it occurs to me that it may be possible to use Smithy's AST / JSON as the basis for building out service constructs using the CDK. There's also something appealing about the thought that Types, Database Schemas, etc could be generated by the same IDL as a basis for further development against the CDK constructs.

I see that there is some work around generating CloudFormation from Smithy's IDL but I also see potential value in having CDK code to work against rather than direct-to-CloudFormation.

Has anyone seen a project that may incorporate this idea or perhaps a reason that this would be a bad idea or an abuse of Smithy itself? I'd love to hear opinions or additional comments, good or bad.