pragSpecInstDName    = libFun (fsLit "pragSpecInstD")     pragSpecInstDIdKey
pragSpecInstDName    = libFun (fsLit "pragSpecInstD")     pragSpecInstDIdKey
pragSpecInstDName    = libFun (fsLit "pragSpecInstD")     pragSpecInstDIdKey