Textmeddelande: Computations in higher types