f :: forall v[-5] . Num v[-5] => v[-5] -> v[-5]
f d[-7] x = add@(d[-7]) x (f d[-7] x)