@Retention(AnnotationRetention.RUNTIME)
@Target(AnnotationTarget.FUNCTION)
annotation class with<out A>

interface Comparable<A>

@with<Comparable<A>> //A needs to be concrete and it's not associated to A below
fun <A> A.compare(other: A): Int = TODO()