That keeps the desugaring of list comprehensions simple too.
+
+
Nor do we want to warn of conversion identities on the LHS;
the rule is precisly to optimise them:
{-# RULES "fromRational/id" fromRational = id :: Rational -> Rational #-}
else (NonRec b (simplify e)):(simplifyBind $ Rec rbs')
simplifyBinds = concatMap simplifyBind
-\end{code}
\ No newline at end of file
+\end{code}