main is not found
------------ trace
'MyUnit :: Type
fun :: {a} -> a -> ()->()
------------ tooltips
testdata/language-features/basic-values/typesyn02.lc 1:6-1:12  Type
testdata/language-features/basic-values/typesyn02.lc 1:15-1:17  Type
testdata/language-features/basic-values/typesyn02.lc 3:8-3:9  V1
testdata/language-features/basic-values/typesyn02.lc 3:8-3:29  Type
testdata/language-features/basic-values/typesyn02.lc 3:13-3:19  Type
testdata/language-features/basic-values/typesyn02.lc 3:13-3:29  Type
testdata/language-features/basic-values/typesyn02.lc 3:23-3:29  Type
testdata/language-features/basic-values/typesyn02.lc 4:1-4:4  {a} -> a -> ()->()
testdata/language-features/basic-values/typesyn02.lc 4:12-4:14  () | ()->() | V0 -> ()->()