Re: nested pairs (was Re: monomorphism etc.)

[Claus Reinke]

>PS. I've got a length function for ``heterogeneous lists'', as
>    they appear in nested pairs, in Hugs. However, it uses the
>    type system extensions available in 1.3c or in 1.4 [981111 BETA].
>    How much can you do in plain Haskell??? in Cayenne?-)

oops. 
On second thought, this length program uses only plain old Haskell?

[from a Hugs1.4June1998 session transcript]

  Main>  l (True :. 'c' :. "length" :. ())
  3
  Main> l ()
  0
  Main> l (() :. ())
  1


What else have I missed?-)
Claus