eq.vl

import vlinder.logic
import vlinder.text

typeclass Eq[T: *] {
    eq: (T, T) => logic.T
}

sub ne[T: * where Eq[T]](a: T, b: T): logic.T {
    !(a == b)
}

typeclassinstance Eq[logic.T] {
    sub eq(a: logic.T, b: logic.T): logic.T {
        ...
    }
}

typeclassinstance Eq[text.T] {
    sub eq(a: text.T, b: text.T): logic.T {
        ...
    }
}