Data.Extensible.Product
data
a
:&:
b
class
ProductClass
c s
type
c
:>&:
a
prodLens
(<&)