Fixing System F