main is not found ------------ trace value1 :: () ------------ tooltips testdata/language-features/basic-values/operator05.lc 1:1-1:7 () testdata/language-features/basic-values/operator05.lc 1:24-1:26 () testdata/language-features/basic-values/operator05.lc 2:13-2:15 () testdata/language-features/basic-values/operator05.lc 2:13-2:19 _a -> () testdata/language-features/basic-values/operator05.lc 2:13-2:22 () testdata/language-features/basic-values/operator05.lc 2:16-2:19 forall a b . a -> b -> () testdata/language-features/basic-values/operator05.lc 2:20-2:22 ()