[Haskell-cafe] Synthetic values?

[Cristiano Paris]

On Wed, Feb 9, 2011 at 20:14, Alexey Khudyakov
<alexey.skladnoy at gmail.com> wrote:
> ...
>> instance            PRead (WRead ::: b)
>> instance PRead b => PRead (a ::: b)
>
>> instance             PWrite (WWrite ::: b)
>> instance PWrite b => PWrite (a ::: b)

Brilliant! I was thinking to something like this but as a replacement
of the accumulation mechanism in the Monad. I didn't think of it in
the permission checking part.

Thanks a lot. Now I need to consolidate better my code for
incorporating yours and other people contributions.

Bye,

-- 
Cristiano

GPG Key: 4096R/C17E53C6 2010-02-22
Fingerprint = 4575 4FB5 DC8E 7641 D3D8  8EBE DF59 B4E9 C17E 53C6