LARA Exercices 05 Write down the type derivation tree for the example for type checking seen in the course. Solution
