Examples on type class instance auto-deriving