namespace.idr

infixr 5 +.

namespace Scalar
  (+.) : Int -> Int -> Int
  x +. y = x + y

namespace Vector
  (+.) : List Int -> List Int -> List Int
  xs +. ys = zipWith (+) xs ys