Section 2.4.4 SequenceType Matching
Editorial
Add a better example for a case of unknown types. For example, instance
of myInt is being passed to a function from a module that checks for an
instance of xs:integer inside the function but does not know the type
myInt.