Telefona gönder: Generic Programs and Proofs