Happstack.Data.Proxy
data
Proxy
t[aoLC]
dataType[aoLD]
constr[aoLE]
proxy
unProxy
asProxyType