Пара — и бифунктор, и 2 обычных функтора же, разве нет? Хотя это не для start обсуждение, думаю, так что затыкаюсь )
Суть комментария была в том, что пара — не контравариантный функтор. Functor + Bifunctor. Альтернативный инстанс Functor сделан для обёртки, а не для самой пары
Суть комментария была в том, что пара — не контравариантный функтор. Functor + Bifunctor. Альтернативный инстанс Functor сделан для обёртки, а не для самой пары