System F**Ker Tickets