Improved Pattern Types