Explain that the GADT representation is not strictly necessary
Explain the use of the translate function