24 Feb
2007
24 Feb
'07
4:18 p.m.
Hello Marc, Friday, February 23, 2007, 5:22:12 PM, you wrote:
type ActionMonad a l = forall l. (HOccurs D1 l) => ( ReaderT l IO a )
'l' should be either parameter of type constructor or forall'ed variable. it seems that you try to set limitations on type constructor parameter - thing that has another syntax and anyway not much support in haskell'98. i suggest you to use smth like the following instead: type ActionMonad a l = ( ReaderT l IO a ) instance (HOccurs D1 l) => Get CR (ActionMonad Bool ()) where get (CR a) = a -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com