Text this: Computations in higher types /