שליחה במסרון: Computations in higher types