Left part of the type-binding syntax (bind(type, tag)).
bind(type, tag)
The type to bind.
Binds the previously given type and tag to the given binding.
Allows to bind in an existing set binding (rather than directly as a new binding).