bindingはfunctorとして捉えていいですか。subscriptがmapに見えて、propertyが取れる限り無限にmapしていける感じ (edited)