Deakstadieđáhus: Generic Programs and Proofs