New output-port-compatible map-type