[Haskell-cafe] least fixed points above something