Add Derek's keynote example

As in, merge https://gitlab.mpi-sws.org/swasey/derek-popl18-talk/