type error: can not unify
  Char
with
  ()
in testdata/language-features/basic-list/list15.reject.lc:1:20:
value = 'h':'i':():[]
                   ^^
------------ trace
!type error: can not unify
  Char
with
  ()
in testdata/language-features/basic-list/list15.reject.lc:1:20:
value = 'h':'i':():[]
                   ^^
------------ tooltips
testdata/language-features/basic-list/list15.reject.lc 1:9-1:12
    Char
testdata/language-features/basic-list/list15.reject.lc 1:9-1:13
    [Char] -> [Char]
testdata/language-features/basic-list/list15.reject.lc 1:12-1:13
    forall a . a -> [a] -> [a]
testdata/language-features/basic-list/list15.reject.lc 1:13-1:16
    Char
testdata/language-features/basic-list/list15.reject.lc 1:13-1:17
    [Char] -> [Char]
testdata/language-features/basic-list/list15.reject.lc 1:16-1:17
    forall a . a -> [a] -> [a]
testdata/language-features/basic-list/list15.reject.lc 1:17-1:19
    ()
testdata/language-features/basic-list/list15.reject.lc 1:17-1:20
    [()] -> [()]
testdata/language-features/basic-list/list15.reject.lc 1:19-1:20
    forall a . a -> [a] -> [a]