Lambda Days 2018 - Philip Wadler - Categories for the Working Hacker https://t.co/MEOX0dZ3GQ via @YouTube