Stav dette: Generic Programs and Proofs