that if you want to build a list that holds data of different types or you want to write a function that returns things of different types, you can just do that and you don't have a type system getting in your way.