こっちか
(:(+))(a::Pos, b::Pos) = Pos(a.x + b.x, a.y + b.y)