Text this: Higher-Order Computability