Fix for changed f-v-h API
Change type for lens accessor

After a change to message type varuable msg became unconstrained due to
non-injectivity of type-families. So extra parameter has to be added