System F - Out Of The Blue (Calvin O'Commor Rework)