Stav dette: Computations in higher types