transforms update to read from given class A
*
reasd from givne supplied HList.
reasd from givne supplied HList. value types must be in same order as Q
record *
reads delete from supplied tuple.
reads delete from supplied tuple. Explicit tuple type must be provided *