xmonad with the X11 abstracted and configured with Idris - View it on GitHub