Related, I submitted this to Kotlin Conf to show t...

# arrow

[raulraja]

Related, I submitted this to Kotlin Conf to show the work we are doing in Type Proofs and how you can use them to extend the Kotlin type system with safer types and ad-hoc polymorphism: