fixpoint compiles with ghc-7.8