У меня есть Seq[R] , и я хочу разделить это на Tuple2[Seq[E], Seq[S]] , пока я кодировал это, я подумал о том, что могу использовать пользовательский Bifunctor для кортежа последовательностей, и в качестве упражнения попытался закодировать это:...

Размышляя над тем, какой более полезный стандартный класс предложить этому class Coordinate c where createCoordinate :: x -> y -> c x y getFirst :: c x y -> x getSecond :: c x y -> y addCoordinates :: (Num x, Num y) => c x...

По какой-то причине GHC, кажется, решает, что мой тип данных (с двумя параметрами типа) без всякой причины создает экземпляр Bifunctor. Самое смешное, что это используется только для того, чтобы сообщить мне, что существуют перекрывающиеся...