let types = { Scopes = < Public : {} | Private : {} >}
let prelude = { types = types }
in  prelude.types.Scopes.Public {=}