Don't redefine Maybe/Either/Ordering when typechecking without the FAY cpp flag