-- Any system name is candidate for inlining. Never inline user-defined
-- functions, to preserver structure.
inlinetoplevel expr@(Var f) | not $ isUserDefined f = do
-- Any system name is candidate for inlining. Never inline user-defined
-- functions, to preserver structure.
inlinetoplevel expr@(Var f) | not $ isUserDefined f = do