Notes on Sets, Maps, and functional style.