+
+
+---------------------------------------------------
+-- The rule is this:
+-- inline (f a b c) = <f's unfolding> a b c
+-- (if f has an unfolding)
+match_inline (e:args2)
+ | (Var f, args1) <- collectArgs e,
+ Just unf <- maybeUnfoldingTemplate (idUnfolding f)
+ = Just (mkApps (mkApps unf args1) args2)
+
+match_inline other = Nothing