[Haskell-cafe] Re: Shrinking the Prelude: The "categorical" approach