prologue-1.0.7: Better, more general Prelude exporting common utilities.
Data.Typeable.Proxy.Abbr
p :: Proxy a Source
type P a = Proxy a Source