Please answer this:

Which of the following statements about Erlang types are TRUE? Check all that apply Type checking occurs during run-time Types are bound to variables at run-time Types are explicitly stated in the declaration Compund terms such as lists and tuples are allocated on a heap A type of a variable could change after its initial binding in the declaration