Communication skills were never my strong point. > There are no set with > a finite number of elements is a fixed point of the Maybe functor. should read: "There is no set with a finite number of elements that is a fixed point of the Maybe functor" --PeterD