a bunch of possibly useful keybindings taken from some prelude