Type-Hint This package provides Proxy values for various types from the base library and functions to use these values as hints for type inference. Installation The usual: $ cabal install