First polymorphic example (use an a mono instance)