Does Kotlin have GADTs?
# compiler
r
Does Kotlin have GADTs?
e
not with the same syntax as functional programming languages, but sealed types can provide something equivalent