Seol mar théacs é seo: A Fragment of ML Decidable by Visibly Pushdown Automata