Renamed type variables for consistency.