A dependent type class that witnesses a type that can be converted to a Binding[Value].
Binding[Value]