Wyślij wiadomość: Computations in higher types