Constructs an empty binder chain.
This constructor exists only for consistency with the other specialization. The parameters are not used.