main is not found
------------ desugared source code
value
  = _lhs
    value
    (_rhs
      let a = _lhs x (case'Bool (\(_ :: _) -> _) (_rhs ()) (_rhs ()) True) in ())
------------ core code
value :: ()
value = _rhs ()
------------ tooltips
1:1-1:6
    ()
1:17-1:21
    Bool
1:17-2:31
    ()
1:24-1:26
    ()
1:24-2:31
    Bool -> ()
2:29-2:31
    ()
3:12-3:14
    ()