- bindT<S>(m): (<B>(f) => (<NK>(name) => (<A>(ma) => Get1<S, Append<A, NK, B>>)))
Returns (<B>(f) => (<NK>(name) => (<A>(ma) => Get1<S, Append<A, NK, B>>)))
- <B>(f): (<NK>(name) => (<A>(ma) => Get1<S, Append<A, NK, B>>))
Returns (<NK>(name) => (<A>(ma) => Get1<S, Append<A, NK, B>>))