DynamicSchemaIndex

A construct that hides the types a service instance works, virtually turning them into existential types.

This prevents the user from calling the algebra/transformation in an unsafe fashion.

Loads the model from a dynamic representation of smithy models (typically json blobs). This representation is modelled in smithy itself, and code generated by smithy4s.