prologue-1.0.7: src/Data/Typeable/Proxy/Abbr.hs
{-# LANGUAGE PolyKinds #-}
module Data.Typeable.Proxy.Abbr where
import Data.Typeable
p :: Proxy a
p = Proxy
type P a = Proxy a{-# LANGUAGE PolyKinds #-}
module Data.Typeable.Proxy.Abbr where
import Data.Typeable
p :: Proxy a
p = Proxy
type P a = Proxy a