<@U63KZKX9V> whhy are you redefining Eq?
# arrow
j
@sitepodmatt whhy are you redefining Eq?