prim-0.1.0.0: src/Proxy.hs

{-# language PatternSynonyms #-}
module Proxy where

type Proxy = Proxy#

-- | Hack to expose 'proxy#'
pattern Proxy :: Proxy a
pattern Proxy <- proxy# where Proxy = proxy#