monoid.nim

import sequtils

proc append[T](a, b: T): T = a + b
proc append[T: seq](a, b: T): T = concat(a, b)

proc zero[T: typedesc[seq]](): T = @[]
proc zero[T: typedesc[int]](): T = 0
proc zero[T: typedesc[float]](): T = 0.0

proc multiply[T: typedesc](t: T, times: int): T =
  if times <= 0:
    zero[T]()
  else:
    for i in 1..times:
      result = append(result, t)

echo(multiply(3, 3))
echo(multiply(@[1, 2, 3], 3))