How To Construct A Matching Type Test