let T = < Some | Type >

let t
    : T
    = T.`Some`

let x
    : T
    = T.Type

in  True