database: Clean up database.hs.