https://kotlinlang.org logo
e

Eugenio

07/22/2018, 12:41 PM
you'd like that to be typed according to the real type, but expressed as
Kind