incorporate feedback from paf31: fair tuples & eithers have their own newtype, redundant import removed