а в чём проблема?

class Curryable (list :: [Type]) where
  hetCurry' :: (HList list -> a) -> Curry list a

instance Curryable '[] where
  hetCurry' f = f Unit

instance Curryable bs => Curryable (a ': bs) where
  hetCurry' f a = hetCurry' $ f . (a :>>)

hetCurry :: forall list a. (HList list -> a) -> Curry list a
hetCurry = hetCurry'

Понадобилась мне недавно одна функция, никак написать не получается

Понятно, что компилятор не понимает, что Curriable a выполняется всегда, но я готов ради благого дела его перехетрить (пробовал Incoherent instances и unsafeCoerceConstraint, ловил либо то, что всегда использовался инстанс который никогда не должен вызываться, либо сегфолты если unsafeCoerceConstraint). Если кто то умеет писать такую функцию или хотя бы доказывать что это невозможно - помогите пожалуйста

type family Curry (list :: [Type]) a :: Type where
  Curry '[] a = a
  Curry (b ': cs) a = b -> Curry cs a

кстати, не это ли вы ищете? https://www.stackage.org/haddock/lts-17.6/universum-1.5.0/Universum-VarArg.html#v:...

class Curryable (list :: [Type]) where
  hetCurry' :: (HList list -> a) -> Curry list a

instance Curryable '[] where
  hetCurry' f = f Unit

instance Curryable bs => Curryable (a ': bs) where
  hetCurry' f a = hetCurry' $ f . (a :>>)

hetCurry :: forall list a. (HList list -> a) -> Curry list a
hetCurry = hetCurry'

Понадобилась мне недавно одна функция, никак написать не получается

Понятно, что компилятор не понимает, что Curriable a выполняется всегда, но я готов ради благого дела его перехетрить (пробовал Incoherent instances и unsafeCoerceConstraint, ловил либо то, что всегда использовался инстанс который никогда не должен вызываться, либо сегфолты если unsafeCoerceConstraint). Если кто то умеет писать такую функцию или хотя бы доказывать что это невозможно - помогите пожалуйста

type family Curry (list :: [Type]) a :: Type where
  Curry '[] a = a
  Curry (b ': cs) a = b -> Curry cs a

• No instance for (Curryable list)
   arising from a use of ‘hetCurry'’
 Possible fix:
   add (Curryable list) to the context of
     the type signature for:
       hetCurry :: forall (list :: [*]) a.
                   (HList list -> a) -> Curry list a
• In the expression: hetCurry'
 In an equation for ‘hetCurry’: hetCurry = hetCurry'

unsafe не будет работать, потому что во время исполнения нет типов, они стираются, а вот инстансы есть, и их нельзя взять из воздуха, чтобы коёрсить

я бы попробовал ограничить фантазии компилятора закрытым семейством