main is not found ------------ trace __ :: forall a b . a -> b -> () ------------ tooltips testdata/language-features/basic-values/shadowing04.lc 1:1-1:3 forall a b . a -> b -> () testdata/language-features/basic-values/shadowing04.lc 1:11-1:13 ()