Updating lenses with functors
Removing monadic interface templates
Generating 'mk'-less smart constructors
Removing reference to monadic module
Using standard String type for error messages
Re-generating all services
Removing Monadic module interface
Using String instead of Text for errors (due to show <exception> etc.)
Moving Typeable constraint for (Er (Sv a)) into a superclass constraint
Writing out prefixless (-mk) smart constructors
Using the correct prism constructor
Ensuring derived Typeable error types
Adding functions to the smart constructor exceptions