fptools/ghc/misc
