Գրեք սա: Computations in higher types