mkCoreApp :: CoreExpr -> CoreExpr -> CoreExpr
-- Respects the let/app invariant by building a case expression where necessary
--   See CoreSyn Note [CoreSyn let/app invariant]
mkCoreApp fun (Type ty) = App fun (Type ty)
mkCoreApp :: CoreExpr -> CoreExpr -> CoreExpr
mkCoreApp fun (Type ty) = App fun (Type ty)
mkCoreApp fun (Type ty) = App fun (Type ty)