Composite.Record
data
Rec
u a b
type
Record
data
Identity
a
data
s
:->
a
rlens
rlens'