Did anyone with knowledge of Associated Types pursue this solution?
Where did you get this from. My haskell-cafe mail folder doesn't seem
to have the thread you are replying to.
Sorry I replied from gmane; I should have included a link to the
original thread, but I really expected gmane
David Roundy droundy at darcs.net writes:
My latest attemp (which won't compile with the HEAD ghc that I just compiled,
probably because I haven't figured out the synatax for guards with indexed
types is:
class WitnessMonad m where
type W m :: * - * - *
(=) :: (WitnessMonad m',
Pepe Iborra:
David Roundy droundy at darcs.net writes:
My latest attemp (which won't compile with the HEAD ghc that I just
compiled,
probably because I haven't figured out the synatax for guards with indexed
types is:
class WitnessMonad m where
type W m :: * - * - *
(=)
