[ SynNone :< CompoundF
    ( DotListF
        (
            ( SynNone :< SimpleF
                ( SimpleSymbol "a" )
            ) :|
            [ SynNone :< SimpleF
                ( SimpleSymbol "b" )
            , SynNone :< CompoundF
                ( ListF Ordinary
                    [ SynNone :< SimpleF
                        ( SimpleSymbol "c" )
                    , SynNone :< SimpleF
                        ( SimpleSymbol "d" )
                    ]
                )
            ]
        )
        ( SynNone :< CompoundF
            ( ListF Ordinary
                [ SynNone :< SimpleF
                    ( SimpleSymbol "가" )
                , SynNone :< CompoundF
                    ( DotListF
                        (
                            ( SynNone :< SimpleF
                                ( SimpleSymbol "나" )
                            ) :| []
                        )
                        ( SynNone :< SimpleF
                            ( SimpleSymbol "다" )
                        )
                    )
                , SynNone :< SimpleF
                    ( SimpleSymbol "라" )
                ]
            )
        )
    )
]