<<< native [ ESub (EIdentifier "L") (ESub (EIdentifier "X") (EIdentifier "h")) , ESymbol Rel "=" , ESub (EIdentifier "L") (ESub (EIdentifier "X") (ESub (EIdentifier "h") (EPhantom (EIdentifier "fail")))) ] >>> omml L X h = L X h fail