SmallCheck: another lightweight testing library in Haskell