Labels
get
set
modify
lens
cons
project
reflect
labels
data label := value
class Has label value record
class Cons label value record
class Project from to
class Reflect c r
class Subset sub super
class Labels r