already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3:
a #$# b = ()
  ^^^
 and at testdata/language-features/basic-values/operator02.reject.lc:1:3:
a #$# b = ()
  ^^^
------------ trace
#$# :: {a} -> {b} -> a -> b->()
fun :: {a} -> a->()
#$# :: {a} -> {b} -> a -> b->()
!already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3:
a #$# b = ()
  ^^^
 and at testdata/language-features/basic-values/operator02.reject.lc:1:3:
a #$# b = ()
  ^^^
------------ tooltips
testdata/language-features/basic-values/operator02.reject.lc 1:3-1:6  {a} -> {b} -> a -> b->()
testdata/language-features/basic-values/operator02.reject.lc 1:11-1:13  ()
testdata/language-features/basic-values/operator02.reject.lc 2:1-2:4  {a} -> a->()
testdata/language-features/basic-values/operator02.reject.lc 2:9-2:11  ()
testdata/language-features/basic-values/operator02.reject.lc 3:3-3:6  {a} -> {b} -> a -> b->()
testdata/language-features/basic-values/operator02.reject.lc 3:11-3:13  ()