------------ desugared source code
'MyUnit = _rhs ('HList Nil)
fun
  = (\_ (a :: _) -> hlistNilCase (_ :: _) (_rhs HNil) a)
    :: forall (b :: _) . b -> MyUnit -> MyUnit
main is not found
------------ trace
'MyUnit :: Type
fun :: forall 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  _b
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  forall a . a -> () -> ()
testdata/language-features/basic-values/typesyn02.lc 4:12-4:14  () | () -> () | _a -> () -> ()