#1 Implement Term data-type as an instance of Display type-class