------------ desugared source code
fun
  = \(a :: _) -> case'Bool
    (\_ -> _)
    (case'Bool (\_ -> _) (_rhs '_') (_rhs '2') (fromInt 2 == a))
    (_rhs '1')
    (fromInt 1 == a)
fun2
  = \(a :: _) _ -> case'Bool
    (\_ -> _)
    (case'Bool (\_ -> _) (_rhs '_') (_rhs '2') (fromInt 2 == a))
    (_rhs '1')
    (fromInt 1 == a)
main is not found
------------ trace
fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char
fun2 :: forall a b . (Eq a, Num a, Eq a, Num a) => a -> b -> Char
------------ tooltips
testdata/language-features/basic-values/def04.lc 1:1-1:4
    forall a . (Eq a, Num a, Eq a, Num a) => a -> Char
testdata/language-features/basic-values/def04.lc 1:9-1:12
    Char
testdata/language-features/basic-values/def04.lc 1:9-3:12
    Bool -> Char
testdata/language-features/basic-values/def04.lc 2:9-2:12
    Char
testdata/language-features/basic-values/def04.lc 2:9-3:12
    Bool -> Char | Char
testdata/language-features/basic-values/def04.lc 3:9-3:12
    Char
testdata/language-features/basic-values/def04.lc 5:1-5:5
    forall a b . (Eq a, Num a, Eq a, Num a) => a -> b -> Char
testdata/language-features/basic-values/def04.lc 5:12-5:15
    Char
testdata/language-features/basic-values/def04.lc 5:12-7:15
    Bool -> Char
testdata/language-features/basic-values/def04.lc 6:12-6:15
    Char
testdata/language-features/basic-values/def04.lc 6:12-7:15
    Bool -> Char | Char
testdata/language-features/basic-values/def04.lc 7:12-7:15
    Char