Left type can just be `Map`