[Haskell-cafe] Re: Why is type 'b' forced to be type 'm a' and not possibly 'm a -> m a'

Vivian McPhail wrote:

...

...

class Forkable a where fork :: String -> a -> a -> a .... What I would like to be able to do is differentiate between Forkable (m a -> b) and Forkable (<function type> -> b).

Have you tried this combination of instances? instance Forkable (IO a) where ... -- and similarly for all the concrete -- monad types you will use fork with instance (Forkable a, Forkable b) => Forkable (a -> b) where ... Alternatively, since the fork function seems to be all about propagating a value (the String), would Control.Monad.Reader serve your purpose? Regards, Tom