question: how accurate is the intuition that role types are the location a computation happens?