Pātuhitia tēnei: Computations in higher types