You know how Kotlin uses this "magical" classes th...

# arrow-contributors

[Eugenio]

You know how Kotlin uses this "magical" classes that don't really exist? Like kotlin.List, kotlin.MutableList, etc, these are called "builtins" and they are actually not hardcoded, since different platforms can have different versions of them (in fact they're shipped as metadata for runtime reflection)