Wyślij wiadomość: Generic Programs and Proofs