Implicitly in Scala, with evidences in Arrow
# arrow
c
Implicitly in Scala, with evidences in Arrow