tweaks, more type safety in xmonad.hs