simp[foobar]
case cons
R : Type u_1
inst✝¹ : RealScalar R
inst✝ : ToString R
head✝ : R
tail✝ : List R
tail_ih✝ : _root_.IsAffineMap ℝ fun acc => foobar tail✝ acc
⊢ _root_.IsAffineMap ℝ fun acc => foobar (head✝ :: tail✝) acc
case cons
R : Type u_1
inst✝¹ : RealScalar R
inst✝ : ToString R
head✝ : R
tail✝ : List R
tail_ih✝ : _root_.IsAffineMap ℝ fun acc => foobar tail✝ acc
⊢ _root_.IsAffineMap ℝ fun acc => foobar tail✝ (acc + head✝)