a minimal and hopefully agree-able way of reifying function calls