[Haskell-cafe] Mechanics of type-level proxies through branding?

Hi. I'm a Haskell newbie, and I've been reading Oleg's work about lightweight dependent types in Haskell, and I've been trying to figure out if I understand how branding works (warning bells already, I know). At http://okmij.org/ftp/Computation/lightweight-dependent-typing.html#Branding, he

Re: [Haskell-cafe] Mechanics of type-level proxies through branding?

On Sat, May 22, 2010 at 8:36 PM, Dave Neuer dave.ne...@pobox.com wrote: Hi. I'm a Haskell newbie, and I've been reading Oleg's work about lightweight dependent types in Haskell, and I've been trying to figure out if I understand how branding works (warning bells already, I know). At