This patch makes
  fiExpr (AnnLam ...)
  noFloatIntoExpr (AnnLam ...)
line up with each other.  Previously they behaved inconsistently
with bad results.

The details are in Trac #7088.    There's a regression test
in simplCore/should_compile/T7088