getter

abstract val getter: (T) -> A

A function which extracts a value of type A from an object of type T