Yi

data Proto a

extractValue

override

(.->)