type Setter s t a b
type Setter' s a
type IndexedSetter i s t a b
type IndexedSetter' i s a
type ASetter s t a b
type ASetter' s a
type AnIndexedSetter i s t a b
type AnIndexedSetter' i s a
type Setting p s t a b
type Setting' p s a
class Settable f
data Identity a