span.test

<<< native
[ EIdentifier "Y"
, EOver False (ESymbol Op "\8592") (EIdentifier "f")
, EIdentifier "X"
, EOver False (ESymbol Op "\8594") (EIdentifier "g")
, EIdentifier "Z"
]
>>> eqn
Y <- to f X -> to g Z