Avoid warning about Data.Proxy import on GHC 7.8