SmallCheck.hs
SmallCheck