···108108109109Now, if we try to call the operation with an `Integer` that isn't a `UserID`, we get a type error.
110110111111+## `Literal::Enum`
112112+113113+[Coming soon]
114114+115115+## `Literal::Operation`
116116+117117+[Coming soon]
118118+119119+## `Literal::Result
120120+121121+[Coming soon]
122122+111123## `Literal::Types`
112124113125`Literal::Attributes`, `Literal::Struct`, and `Literal::Data` all extend `Literal::Types`, which provide some advanced types including some generic-like collection types.