Text this: Category theory and computer programming :