The Test Data Generator applicative functor