Improved types