Indeed, it can take an arbitrarily nested tuple of...
# development
b
Indeed, it can take an arbitrarily nested tuple of types