cause that type most be able to carry all the data...
# arrow
d
cause that type most be able to carry all the data needed from one step to the next one