use Tasty and SmallCheck