On 07.04.19 17:36, Robert M. Münch wrote: > The docs state that an alias can either be related to the type or the > symbol. Hence, in my case I expected it to be the symbol... The symbol is `X.a`. A field of an instance doesn't make a distinct symbol.