Continuing to figure out how to use threepenny-gui.