Verwijderen: System F Computing