module
Data
.
Proxy
.
Compat
(
Proxy
(
..
)
,
asProxyTypeOf
)
where
import
Data
.
Proxy