@ambrosebs Is it possible to extract nillable types from Scala or Kotlin annotations somewhere?

What is your take on spectrum? It seems it is a good way to approach typing now that spec is there.