A version of xmonad which abstracts away X11 and is written in and configured by Idris, rather than Haskell.