already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1:
fun _ = '_'
^^^
 and at testdata/language-features/basic-values/def07.reject.lc:1:1:
fun 1 = '1'
^^^
------------ trace
fun :: {a} -> {b : 'Eq a} -> {c : 'Num a} -> {d : 'Eq a} -> {e : 'Num a} -> a->'Char
fun2 :: {a} -> {b} -> {c : 'Eq a} -> {d : 'Num a} -> a -> b->'Char
fun :: {a} -> a->'Char
!already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1
 and at testdata/language-features/basic-values/def07.reject.lc:1:1
------------ tooltips
testdata/language-features/basic-values/def07.reject.lc 1:1-1:4  {a} -> {b : Eq a} -> {c : Num a} -> {d : Eq a} -> {e : Num a} -> a->Char
testdata/language-features/basic-values/def07.reject.lc 1:9-1:12  Char
testdata/language-features/basic-values/def07.reject.lc 1:9-2:12  Bool->Char
testdata/language-features/basic-values/def07.reject.lc 2:9-2:12  Char
testdata/language-features/basic-values/def07.reject.lc 3:1-3:5  {a} -> {b} -> {c : Eq a} -> {d : Num a} -> a -> b->Char
testdata/language-features/basic-values/def07.reject.lc 3:12-3:15  Char
testdata/language-features/basic-values/def07.reject.lc 4:1-4:4  {a} -> a->Char
testdata/language-features/basic-values/def07.reject.lc 4:9-4:12  Char