System F cry