fptools/ghc/docs/set
