#+title: pure functional programming