This example shows a solution of the POPLMARK Challenge Part 1A, Transitivity of Subtyping.