Integrate with smithy4s

[armanbilge]

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.

[armanbilge]

Also, Daniel made a good suggestion for a sophisticated example:

persistent chat server example with Kinesis, dynamo, and lambda.