SMS versenden: Computations in higher types