Re: [Xmonad] darcs patch: change workspaces to [WorkspaceId]