Many tweaks. Still a termination bug.
GHC 7.8.2 dependency