so essentially it s both a witness and a type kotlinlang #arrow-contributors

so, essentially, it's both a witness and a type

# arrow-contributors

e

Eugenio

07/22/2018, 4:36 PM

so, essentially, it's both a witness and a type