Text this: Computations in higher types