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