https://fabiomsr.github.io/from-java-to-kotlin/
https://khan.github.io/kotlin-for-python-developers/
https://typealias.com/start/