Distinguish head item of Nonempty List and root item of Tree from the rest:
Alternative behaviour is Final.