<<< native [ EIdentifier "f" , ESymbol Rel ":" , EIdentifier "X" , ESymbol Rel "\8594" , EIdentifier "Y" ] >>> omml f : X Y