Re: [Xmonad] statically checked non-empty layout lists