Proposal: Data.Proxy

[Philippa Cowderoy]

On Wed, 7 Feb 2007, Musasabi wrote:

> Hello
> 
> I propose a module called Data.Proxy into the base package containing 
> the common Proxy type used in many different libraries (e.g. HAppS, 
> HList, ...).
> 

Perhaps Type.Proxy, creating a Type hierarchy for types with trivial 
values intended for type-level programming?

-- 
flippa at flippac.org

"My religion says so" explains your beliefs. But it doesn't explain
why I should hold them as well, let alone be restricted by them.