Proposal: Data.Proxy

Philippa Cowderoy flippa at
Wed Feb 7 21:47:52 EST 2007

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

"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.

More information about the Libraries mailing list