Үүнийг мессежээр илгээх: Computations in higher types