solved exercises before Polymorphic Pairs