• Using a multi-parameter type class
• Using the Constraint kind