Dear Andrzej, >There is a slogan that I learned in student time: > > "If it is natural, it is trivial. If you do something substantial, it cannot be done in natural way" So do you believe this? :-) And do you believe that this slogan applies to the possibly empty types? Freek