The syntax 'type X with .' is reserved for augmentations. Types whose representations are hidden but which have members are ...