main is not found
------------ desugared source code
'MyUnit = _lhs 'MyUnit (_rhs ' ())

fun :: forall (a :: _) . a -> MyUnit -> MyUnit
fun = _lhs fun \(_ :: _) (a :: _) -> hlistNilCase _ (_rhs ()) a
------------ core code
'MyUnit :: Type
'MyUnit = _rhs ' ()

fun :: forall a . a -> MyUnit -> ()
fun = \_ _ a -> hlistNilCase ' () (_rhs ()) 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 -> MyUnit -> ()
testdata/language-features/basic-values/typesyn02.lc 4:12-4:14
    () | ()