List display with contexts

Scratch.kt

interface Display<in F, in A> {
    context(SingleDisplay<A>) fun display(f: F): String
}

interface SingleDisplay<T> {
    fun display(f: T): String    
}

object IntDisplay : SingleDisplay<Int> {
    override fun display(f: Int): String = "Display Int $f"
}

object StringDisplay : SingleDisplay<String> {
    override fun display(f: String): String = "Display String $f"
}

class ListDisplay<E> : Display<List<E>, E> {
    context(SingleDisplay<E>) override fun display(f: List<E>): String =
        f.joinToString(prefix = "Display List [", postfix = "]", separator = ", ") { display(it) }
}
// ----------------------

context(Display<F, A>, SingleDisplay<A>)
fun <F, A> F.display(): String = display(this)

context(SingleDisplay<Int>, SingleDisplay<String>, Display<List<String>, String>)
fun reproducer() {
    listOf("hello", "world").display() // OK
}