I think messages are less bound to types than method calls, more late bound and more reified in some caseS.