subtypes
weaktuple