nToFM :: ToFM a -> a
runToFM m =
  case U.runLFreshM (runReaderT (runExceptT m) emptyToFEnv) of
   Left s -> error $ "unexpected failure in ToF.runToFM: “" ++ s ++ "”"
   Right a -> a

foll
runToFM :: ToFM a -> a
runToFM m =
  case U.runLFreshM (runReaderT (runExceptT m) emptyToFEnv) of
   Left s -> error $ "unexpected failure in ToF.runToFM: “" ++ s ++ "”"
   Right a -> a
runToFM m =
  case U.runLFreshM (runReaderT (runExceptT m) emptyToFEnv) of
   Left s -> error $ "unexpected failure in ToF.runToFM: “" ++ s ++ "”"
   Right a -> a