[ EArray
    [ AlignCenter ]
    [ [ [ EGrouped
            [ EPhantom (EText TextNormal "fail")
            , EIdentifier "H"
            , EPhantom (EText TextNormal "fail")
            ]
        ]
      ]
    , [ [ EIdentifier "T" ] ]
    , [ [ EIdentifier "U" ] ]
    ]
, ESymbol Rel "="
, EArray
    [ AlignCenter ]
    [ [ [ EIdentifier "H" ] ]
    , [ [ EIdentifier "T" ] ]
    , [ [ EGrouped
            [ EPhantom (EText TextNormal "fail")
            , EIdentifier "U"
            , EPhantom (EText TextNormal "fail")
            ]
        ]
      ]
    ]
]