Tuple2 and ToTuple2 can be expressed with other functors