Hid Data.Typeable Proxy export to satsify build