main is not found ------------ desugared source code id = _lhs id \(a :: _) -> _rhs a f = _lhs f \(a :: _) -> _rhs let b = id a in b ------------ core code f :: forall a . a -> a f = \a b -> _rhs b id :: forall a . a -> a id = \a b -> _rhs b ------------ tooltips 4:1-4:3 forall a . a -> a 4:8-4:9 _b 6:1-6:2 forall a . a -> a 6:15-6:17 forall a . a -> a 6:15-6:19 _b 6:18-6:19 _c 6:23-6:24 _c