Why the type system is considered to be stated that invitation is a Party* [closed]