Смог минимизировать баг

имеем вот 3 таких типа

{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE GADTs #-}

data Ap f x = Ap (f x)
newtype I a = I a
newtype K a b = T a

1. вариант без типопеременных, тайпчекается
f :: Ap I Int ~ Ap (K Int) [Int, String] => ()
f = ()

2. вариант с типопеременной, но сразу же с ~ - тайпчекается
f :: forall (xs :: [*]). xs ~ [Int, String] => Ap I Int ~ Ap (K Int) xs => ()

3. вариант с типопеременной но без ~ - нет
f :: forall (xs :: [*]). Ap I Int ~ Ap (K Int) xs => ()

   • Couldn't match kind ‘*’ with ‘[*]’
   • In the ambiguity check for ‘f’

что это за ambiguity check вообще, если AllowAmbiguousTypes включен

У меня оно не заработало, кстати. Пауэршелл чо-то ругается, не наладил его.

ругается только если Ap это data, при ньютайпе все ок

да любая попытка поставить хачкель другим способом или шоко или мсис2 скорее всего сломает этот способ, он более-менее работает и проверен только для чистой машины, совершенно нереально составить инструкцию для обхода всех ловушек на засранной

в 9.0.1 лучше не стало

   • Couldn't match kind ‘*’ with ‘[*]’
     Expected: forall (xs :: [*]).
               ((Ap @{*} I Int :: *) ~ (Ap @{[*]} (K @{[*]} Int) xs :: *)) =>
               ()
       Actual: forall (xs :: [*]).
               ((Ap @{*} I Int :: *) ~ (Ap @{[*]} (K @{[*]} Int) xs :: *)) =>
               ()
   • In the ambiguity check for ‘f’
     In the type signature:
       f :: forall (xs :: [*]). Ap I Int ~ Ap (K Int) xs => ()

обе строки в expected и actual одинаковые офк

В стд есть что-то вида
(a -> b) -> (a, a) -> (b, b)?
И почему
f <$> (a, b) применяет функцию именно ко 2-му элементу?

Кажется bifunctor должен справиться

Потому что (,) a b это функтор по b

bimap :: (a->b) -> (c->d) -> (a, c) ?

bimap :: (a -> b) -> (c -> d) -> p a c -> p b d where p = (,)

Ну там более общее

Но да

в relude есть bimapBoth :: Bifunctor f => (a -> b) -> f a a -> f b b, но если её не используешь, тогда увы

Тогда увы, придется использовать обычный стандартный bimap?

Для которого не нужен релюд