PlusEmpty<F> constructor

PlusEmpty<F>()