------------ desugared source code
value1
  = _rhs
    (concatMap \_ -> Cons \(a :: _) -> hlistNilCase (_ :: _) "Hello" a Nil Nil)
main is not found
------------ trace
value1 :: Type => List (() -> String)
------------ tooltips
testdata/language-features/basic-list/listcomp09.lc 1:1-1:7
    Type => List (() -> String)
testdata/language-features/basic-list/listcomp09.lc 1:10-1:36
    List (() -> String)
testdata/language-features/basic-list/listcomp09.lc 1:11-1:25
    List (() -> String)
testdata/language-features/basic-list/listcomp09.lc 1:18-1:25
    String
testdata/language-features/basic-list/listcomp09.lc 1:33-1:35
    forall a . List a