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