database: Clean up server.hs.