hacked Extractor to make it work despite issues with shapeless