An Xmonad clone written in Idris