ekmett/folds — pull request #3 by glguy (2014-03-19 04:01:15+00:00)
Title: Manually import Proxy from Data.Proxy

While GHC 7.8 provides Proxy in Data.Data, previous versions do not.