Introduced and explained LastNode constraint (and more...)
Introduced and explained LastNode constraint (and more...)

Replaced DFMonad by the truth (FuelMonad).

Showed new analysis, the result of which is *not* monadic (compiled but
not tested in GHC).

Revealed all type parameters of ForwardFixedPoint at first use, thereby
eliminating the last serious lie.

hvr/hoopl,hvr/hoopl,ezyang/hoopl