ITypeLiteral Type

Marker interface for type-level literals. #### Members static member inline Singleton (defaultValue: T) = (* unique value-level representation of T *) `Singleton` will be called with `Unchecked.defaultof` so it should not use/deconstruct its value. static member inline RuntimeValue (t: T) = (* value-level counterpart of T *) `RuntimeValue` should return value-level representation of `T`. i.e. If `T` is type-level boolean `True`, then the method should return value-level boolean `true`.