Write a Haskell program that computes the normal form of a simply-typed lambda term in standard (not de Bruijn) notation.
The data type defining a lambda term in standard form is:
data STerm = Vs Int | Ls Int STerm | As STerm STerm deriving (Eq,Show,Read)