ServiceWrapper

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.