Re: from gofer to haskell

[Andreas Doering]

Dear John,
sorry there was a mistake in my last mail, and that's the reason, that 
it ends so apruptly.
The class StateTran is

class States a => StateTran t a where  
  trans  :: t -> a -> (StatesMap a) -- give the transformation
  arity  :: t -> a -> Int -- where 0 means: arbitrary 

This is the class, which is not Haskell.

I need the two members, because I want to have generic transformations,
but I cannot leave out t (perhaps leave out a). I just don't know.

WfR Andreas