On 12/27/05, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote:
> data a :+: bb -- Conj assertion a and assertions bb
> data aa :@: bb -- Conjunction of assertions aa and bb
Why is the difference here?
> class WellTyped a
> instance WellTyped Nil
> instance WellTyped cs => WellTyped ((a :=: a) :+: cs)
> instance (WellTyped cs1, WellTyped cs2) => WellTyped (cs1 :@: cs2)
Could one not write:
instance WellTyped (a :=: a)
and do away with (:+:)?
--
Taral <[EMAIL PROTECTED]>
"Computer science is no more about computers than astronomy is about
telescopes."
-- Edsger Dijkstra
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
