And the type proofs plugin coming which models unions, kinds, refined types and morphisms between Ko...

# functional

[raulraja]

And the type proofs plugin coming which models unions, kinds, refined types and morphisms between Kotlin types in general allowing ad hoc subtyping, extensions and polymorphism without inheritance will allow you to bend the type system to your will.