On Feb 9, 2008 4:08 PM, Wolfgang Jeltsch <[EMAIL PROTECTED]> wrote: > So what would (D1 :* D1) :* (D2 :* D2) mean then?
Nothing. That value doesn't satisfy the Nat or Post class constraints and should be taken into consideration. Why should :* be provided a meaning? it is an unavoidable syntactical connective for all that I care. The meaning is provided by class constraints and that's all that matter from the semantical point of view. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
