main is not found
------------ desugared source code
fun
  = _lhs
    fun
    \(a :: _) -> case'Bool (\(_ :: _) -> _) (_rhs "False") (_rhs "True") a
------------ core code
fun :: Bool -> String
fun = \a -> case'Bool (\_ -> 'String) (_rhs "False") (_rhs "True") a
------------ tooltips
1:1-1:4
    Bool -> String
2:5-2:6
    _b
2:5-3:24
    String
2:9-2:15
    String
2:9-3:24
    Bool -> String
3:17-3:24
    String