------------ desugared source code
fun = \_ -> \_ -> \_ -> _rhs HNil
value = \(a :: _) (b :: _) -> _rhs (a `fun` b)
main is not found
------------ trace
fun :: forall a b c . a -> b -> c -> ()
value :: forall a b c . a -> b -> c -> ()
------------ tooltips
testdata/language-features/basic-values/infix02.lc 1:1-1:4  forall a b c . a -> b -> c -> ()
testdata/language-features/basic-values/infix02.lc 1:13-1:15  ()
testdata/language-features/basic-values/infix02.lc 3:1-3:6  forall a b c . a -> b -> c -> ()
testdata/language-features/basic-values/infix02.lc 3:13-3:14  _g
testdata/language-features/basic-values/infix02.lc 3:13-3:20  _b -> _a -> ()
testdata/language-features/basic-values/infix02.lc 3:13-3:22  _a -> ()
testdata/language-features/basic-values/infix02.lc 3:15-3:20  forall a b c . a -> b -> c -> ()
testdata/language-features/basic-values/infix02.lc 3:21-3:22  _d