main is not found
------------ desugared source code
data D :: Type where
    D2 :: () -> () -> D
    D3 :: () -> () -> () -> D

d2 = _lhs d2 \(a :: _) (b :: _) -> _rhs (a `D2` b)

d3 = _lhs d3 \(a :: _) (b :: _) -> _rhs (a `D3` b)
------------ core code
'D :: Type
'D = <<type constructor with 0 indices; constructors: D2, D3>>

D2 :: () -> () -> D
D2 = <<0th constructor of 'D>>

D3 :: () -> () -> () -> D
D3 = <<1st constructor of 'D>>

case'D
  :: forall (a :: D -> Type)
    -> (forall (b :: ()) (c :: ()) -> a ('D2 b c))
      -> (forall (d :: ()) (e :: ()) (f :: ()) -> a ('D3 d e f))
        -> forall (g :: D) -> a g
case'D = \a b c d -> <<case function of a type with 0 parameters>>

d2 :: () -> () -> D
d2 = \a b -> _rhs (D2 a b)

d3 :: () -> () -> () -> D
d3 = \a b -> _rhs (D3 a b)

match'D :: forall (a :: Type -> Type) -> a D -> forall b -> a b -> a b
match'D = \a b c d -> <<type case function>>
------------ tooltips
testdata/language-features/basic-values/infix03.lc 1:6-1:7
    Type | Type | Type | Type | Type | Type | Type | Type
testdata/language-features/basic-values/infix03.lc 1:6-1:18
    Type
testdata/language-features/basic-values/infix03.lc 1:6-2:12
    Type | Type
testdata/language-features/basic-values/infix03.lc 1:6-2:21
    Type | Type
testdata/language-features/basic-values/infix03.lc 1:10-1:12
    () -> () -> D | D | Type | Type | Type
testdata/language-features/basic-values/infix03.lc 1:13-1:15
    Type
testdata/language-features/basic-values/infix03.lc 1:16-1:18
    Type
testdata/language-features/basic-values/infix03.lc 2:10-2:12
    () -> () -> () -> D | D | Type | Type | Type | Type
testdata/language-features/basic-values/infix03.lc 2:13-2:15
    Type
testdata/language-features/basic-values/infix03.lc 2:16-2:18
    Type
testdata/language-features/basic-values/infix03.lc 2:19-2:21
    Type
testdata/language-features/basic-values/infix03.lc 4:1-4:3
    () -> () -> D
testdata/language-features/basic-values/infix03.lc 4:10-4:11
    _d
testdata/language-features/basic-values/infix03.lc 4:10-4:16
    () -> D
testdata/language-features/basic-values/infix03.lc 4:10-4:18
    D
testdata/language-features/basic-values/infix03.lc 4:12-4:16
    () -> () -> D
testdata/language-features/basic-values/infix03.lc 4:17-4:18
    _b
testdata/language-features/basic-values/infix03.lc 6:1-6:3
    () -> () -> () -> D
testdata/language-features/basic-values/infix03.lc 6:10-6:11
    _d
testdata/language-features/basic-values/infix03.lc 6:10-6:16
    () -> () -> D
testdata/language-features/basic-values/infix03.lc 6:10-6:18
    () -> D
testdata/language-features/basic-values/infix03.lc 6:12-6:16
    () -> () -> () -> D
testdata/language-features/basic-values/infix03.lc 6:17-6:18
    _b