BindTaggedConstant on module