Tekstiviesti: Computations in higher types