Title: Computations in Higher Types