Playing Solstice - System F