Just a sample document.
import cats.implicits._ import vesper.codecs.Example Example.sumAll(List(1, 2, 3, 4))