Question: Can existing types be extended to work with Seq.sum, etc?