Я пытаюсь получить экземпляр Typeable для кортежных ограничений. См. следующий код: {-# LANGUAGE ConstraintKinds, GADTs #-} {-# LANGUAGE DataKinds, PolyKinds, AutoDeriveTypeable #-} {-# LANGUAGE StandaloneDeriving, DeriveDataTypeable #-}...

У меня есть класс C с экземплярами для одного типа и для кортежей. class C a instance C Int instance (C a, C b) => C (a, b) Использование обычного Dict GADT для фиксации ограничений {-# LANGUAGE GADTs #-} {-# LANGUAGE...

По-видимому, несколько рассеянно я написал что-то вроде : {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE TypeFamilies #-} class Foo f where type Bar f :: * retbar :: Bar f -> IO f type Baz f = (Foo f, Eq f) -- WithBar :: *...

Я играл с некоторыми расширениями GHC, чтобы определить функцию, которая может делать следующее: let a = A :: A -- Show A b = B :: B -- Show B in myFunc show a b -- This should return (String, String) myFunc должен быть...