KB Tag: higher order function