FunctionArrow -> MapArrow