Learn Functional Programming Without Fear (proof copy)