Solution
= Solution
Addition and subtraction of <formal power series> are coefficientwise:
``
plus, minus :: Num a => [a] -> [a] -> [a]
plus = zipWith (+)
minus = zipWith (-)
``
Here every valid input is an infinite coefficient <list>. If finite polynomial coefficient <lists> were admitted, they would need zero-padding before these definitions: ordinary <list zip> otherwise truncates to the shorter length.