> and in the where statement:
>
> T _ a y b = ins s

Here it's a pattern match. So if ins s returns (T x a' y'
b'), then a = a'; y = y'; b = b' are used in the expresion
covered by the where clause.

Great, thanks for clearing that up. Sometimes Haskell is a bit too concise!

Justin