[Haskell-cafe] Role based access control via monads or arrows or... something

[Wouter Swierstra]

> Any help you can offer for my aching cranium will be _much_  
> appreciated.

You might also be interested in the paper Edwin Brady and Kevin  
Hammond just submitted to ICFP:

http://www.cs.st-andrews.ac.uk/~eb/drafts/icfp08.pdf

It describes how to manage resources, in particular locks, in a  
dependently-typed language. You didn't explicitly mention that it  
needed to be in Haskell, so it might be worth having a look.

Best of luck,

   Wouter