Since its exact role and need is not clear yet, this transformation is
not yet specified.
+ TODO: Cast propagation
+
\subsubsection{Top level binding inlining}
This transform takes simple top level bindings generated by the
\small{GHC} compiler. \small{GHC} sometimes generates very simple