main :: Bool
main = True
------------ desugared source code
from
  = primFix
    \(a :: _) -> _lhs from (_rhs \(b :: _) -> b : a (primAddInt (fromInt 1) b))

main
  = _lhs
    main
    (_rhs
      ((\(a :: _) -> case'List
          (\(_ :: _) -> _)
          undefined
          (\(_ :: _) (b :: _) -> case'List
            (\(_ :: _) -> _)
            undefined
            (\(_ :: _) (c :: _) -> case'List
              (\(_ :: _) -> _)
              undefined
              (\(_ :: _) (d :: _) -> case'List
                (\(_ :: _) -> _)
                undefined
                (\(e :: _) (_ :: _) -> (\(f :: _) -> case'Ordering
                    (\(_ :: _) -> _)
                    undefined
                    True
                    undefined
                    f)
                  (primCompareInt e (fromInt 3)))
                d)
              c)
            b)
          a)
        (from (fromInt 0))))
------------ core code
from :: Int -> [Int]
from = primFix _ \a -> _rhs \b -> b : a (primAddInt 1 b)

main :: Bool
main = _rhs True
------------ tooltips
4:1-4:5
    Int -> [Int]
4:14-4:15
    _c
4:14-4:16
    [_b] -> [_b]
4:14-4:38
    [Int]
4:15-4:16
    forall a . a -> [a] -> [a]
4:17-4:21
    _d
4:23-4:33
    Int -> Int -> Int
4:23-4:35
    Int -> Int
4:23-4:37
    Int
4:34-4:35
    _b
4:36-4:37
    _e
6:1-6:5
    Bool
6:8-7:57
    Bool
6:13-6:17
    Int -> [Int]
6:13-6:19
    [Int]
6:18-6:19
    _b
7:20-7:57
    Bool | Bool | Bool | Bool
7:25-7:39
    Int -> Int -> Ordering
7:25-7:41
    Int -> Ordering
7:25-7:43
    Ordering
7:40-7:41
    _c
7:42-7:43
    _b
7:53-7:57
    Bool
------------ warnings
Uncovered pattern(s) at testdata/it.lc:7:25:
    (_:_:_:i:_) -> case primCompareInt i 3 of EQ -> True
                        ^^^^^^^^^^^^^^^^^^
Missing case(s):
     LT
     GT
Uncovered pattern(s) at testdata/it.lc:6:13:
main = case from 0 of
            ^^^^^^
Missing case(s):
     []
     [_]
     [_, _]
     [_, _, _]