IR
Size: a a a
IR
IR
IR
AD
IR
AA
БВ
AR
ghcup
на арче прекрасно работает.L
HList '[ forall a. Show a => a -> String, forall a. a -> a]
. Но есть нюансы, в частности я получил от компилятора Couldn't match type: forall a. Show a => a -> String with: t0 -> a0
пытаясь сделать индексирование по Nat
. Я честно говоря не знаю баг это или фича (по идее должно тайпчекаться, но я не вникал в алгоритм quick look)AD