Re: [Haskell-cafe] least fixed points above something