promotedConsTName   = libFun (fsLit "promotedConsT")  promotedConsTIdKey
promotedConsTName   = libFun (fsLit "promotedConsT")  promotedConsTIdKey
promotedConsTName   = libFun (fsLit "promotedConsT")  promotedConsTIdKey