Started measuring coverage
Tested that Extractor type class instances are lawful