more natural functors to adapt Set and Map