Functional programming from first principles, part 1 – motivation