However , types do not play any role at runtime .
At compile time , types are used to verify the validity of the terms .
Types do not play any role at runtime .
At compile time , types are used to verify the validity of the terms .