Hi John,
NB
the essence what I am trying to do is to define a proxy class Foo for
class Ba1 I would have thought that something as simple as the
following would have worked ??
class Ba1 a where
dosomething :: a -> IO ()
ba1 :: Ba1 a => a -> IO ()
ba1 x = dosomething x
instance Ba1 Int w
NB
the essence what I am trying to do is to define a proxy class Foo for class
Ba1 I would have thought that something as simple as the following would
have worked ??
class Ba1 a where
dosomething :: a -> IO ()
ba1 :: Ba1 a => a -> IO ()
ba1 x = dosomething x
instance Ba1 Int where
doso
