but the static type system people say wait a minute, wait a minute, if you want to talk about convenience, what could be more convenient than have a type system that enforces that the arguments and the data you receive from somebody already has the right type, suppose i want to write some simple function that just cubes its argument.