nicer `mkTest` function using TH