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