shapeless.ops.record
Type class supporting extraction of super-record from sub-record (witnesses depth subtype relation).
Type class supporting extraction of super-record from sub-record (witnesses depth subtype relation).