Reverse vs. System F