Discussed at 26th workshop. Add an explanation of the reasoning behind there being no way to unbind a type to the `bind` documentation.