u f (PS x)        = PS $ map f x
b f (PS x) (PS y) = PS $ zipWith f x y
to_ps x           = PS (x : repeat 0)