xmonad with the X11 abstracted and configured with Idris