htfpp was not in the path. To find how to alter the path, one looks in the ~/.cabal folder for a config file and finds where cabal installs binaries by default. That directory needs to be added to the path, or the installed binary needs to be moved from there to a directory that is in the path. Then GHC can run it with the -pgmF flag.
community-wiki answer for posterity:
htfppwas not in the path. To find how to alter the path, one looks in the~/.cabalfolder for aconfigfile and finds where cabal installs binaries by default. That directory needs to be added to the path, or the installed binary needs to be moved from there to a directory that is in the path. Then GHC can run it with the-pgmFflag.