instance Functor '(,) and Functor ('(,) a)