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