Small change to foldFreeT