Some of this stuff potentially belongs in `Server.hs`