------------ desugared source code
'MyUnit = _rhs ('HList [])
fun :: forall (a :: _) . a -> MyUnit -> MyUnit
fun = \_ (a :: _) -> hlistNilCase _ (_rhs HNil) a
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 | 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
    () | ()