4 HsExpr.LHsExpr Name.Name
5 -> TcType.BoxySigmaType
6 -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
9 HsExpr.LHsExpr Name.Name
11 -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
14 HsExpr.LHsExpr Name.Name
15 -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id, TcType.TcType)
19 -> HsExpr.HsExpr Name.Name
21 -> TcRnTypes.TcM (HsExpr.HsExpr Var.Id)