Records.Generic

Magic getter

class HasField rec field a

Subtype relationship

class Subtype a b