Update Database.hs