Text this: Trees in algebra and programming :