1 2 3
Require Import Coq.Lists.List. Set Debug RAKAM. Check fun _ => fold_right (fun A B => prod A B) unit _.
