Size: a a a
MP
DB
* и Type это же одно и то же?YS
JS
data Project :: a -> Exp (Base a a)
ЗП
ЗП
StandaloneKindSignatures
специфицироватьtype Project2 :: forall a. a -> Exp (Base a a)
data Project2 a t
type instance Eval (Project2 '[]) = 'NilF
type instance Eval (Project2 (x ': xs)) = 'ConsF x xs
Expected kind ‘Exp (ListF a0 [k0])’,
but ‘Project2 '[]’ has kind ‘Base [k0] [k0] -> *’
AA
ЗП
type Exp a = a -> TypeAA
AA
ЗП
ЗП
Exp (ListF a0 [k0]) и Base [k0] [k0] -> Type одно и тожеЗП
type instance Eval (Project2 '[] :: Exp (ListF a [a])) = 'NilFMP
MP
MP
MK
MP
MP
MP