https://www.cis.upenn.edu/~bcpierce/tapl/

                              --FRAME--
                                  left
                                  right