vcat should behave like 'foldr ($$) empty', not 'foldr ($+$) empty', according to...