Deakstadieđáhus: Computations in higher types