let plet v _ty e p = 
  let_pred (fun _ -> assert false) ~fresh:true v e p