Qua Types

'Types' based on the relations between objects. E.g. A type based upon a 'Person' and a 'Company' might be an 'Employee'. Of questionable theoretical basis.

See http://www.conradbock.org/compfoundation.html