reenable case-class extraction with new `ConstructFromTuple` evidence