[Haskell-cafe] Is SmallCheck maintained?