Haskell library for helping type inference by using proxy values