Element

RestrictedType

ExactLength

RestrictedByteSeq RestrictedString

elem_!:

RestrictedType

elem_:

RestrictedType