Call statements in a type-safe way