https://github.com/disneystreaming/smithy4s
Notably, they provide models for some of the basic AWS types e.g. regions, etc. I'll be thrilled to outsource those.