eqBox (App t u,s) (App t' u',s') =
    do eqBox (t,s) (t',s')
       eqBox (u,s) (u',s')
eqBox (App t u,s) (App t' u',s') =
    do eqBox (t,s) (t',s')
       eqBox (u,s) (u',s')
eqBox (App t u,s) (App t' u',s') =
    do eqBox (t,s) (t',s')
       eqBox (u,s) (u',s')