Re: [Haskell-cafe] Using MonadFix to tie the knot with STM

2011-02-17 Thread Simon Marlow
On 16/02/2011 12:46, Sebastiaan Visser wrote: On Feb 12, 2011, at 6:08 PM, Antoine Latter wrote: On Sat, Feb 12, 2011 at 8:47 AM, Sebastiaan Visserhask...@fvisser.nl wrote: Hi all, During a little experiment I discovered there is no MonadFix instance available for the STM monad. Is this

Re: [Haskell-cafe] Using MonadFix to tie the knot with STM

2011-02-16 Thread Sebastiaan Visser
On Feb 12, 2011, at 6:08 PM, Antoine Latter wrote: On Sat, Feb 12, 2011 at 8:47 AM, Sebastiaan Visser hask...@fvisser.nl wrote: Hi all, During a little experiment I discovered there is no MonadFix instance available for the STM monad. Is this absence the consequence of some deep

[Haskell-cafe] Using MonadFix to tie the knot with STM

2011-02-12 Thread Sebastiaan Visser
Hi all, During a little experiment I discovered there is no MonadFix instance available for the STM monad. Is this absence the consequence of some deep restriction of how STM works or 'just accidental'? Is there some way I could derive this instance? For those who are interested and may know

Re: [Haskell-cafe] Using MonadFix to tie the knot with STM

2011-02-12 Thread Antoine Latter
On Sat, Feb 12, 2011 at 8:47 AM, Sebastiaan Visser hask...@fvisser.nl wrote: Hi all, During a little experiment I discovered there is no MonadFix instance available for the STM monad. Is this absence the consequence of some deep restriction of how STM works or 'just accidental'? Is there