On 10/9/07, Johan Tibell <[EMAIL PROTECTED]> wrote: > data Rope = Empty > | Leaf > | Node !Rope !Rope
> The point is that Empty > can only appear at the top by construction How about indicating this in your data type? I.e., data Rope = Empty | NonEmptyRope data NonEmptyRope = Leaf | Node !NonEmptyRope !NonEmptyRope _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
