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