This package provides 'Proxy' values for various types from the 'base' library and functions to use these values as hints for type inference.