KeyConstraint

shapeless

KeyTag

record

Keys

KeyConstraint record

keys

RecordOps