On 19/01/2011 10:41, Ryan Ingram wrote: > It's still not really clear what you are trying to do. > I am trying to see what how this requirement can be represented using just the normal instance-implements-class relation for a comparison with a specification language approach.
If there is no simple way to do this using type classes then I am obviously mis-using the technique. Regards, Pat This message has been scanned for content and viruses by the DIT Information Services E-Mail Scanning Service, and is believed to be clean. http://www.dit.ie _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe