cpp/ranges/empty view

@1@ A range factory that produces a of no elements of a particular type. @2@ Variable template for.

Helper templates
This specialization of makes  satisfy.