JS
Size: a a a
JS
DB
JS
AA
AA
AA
DB
JS
AA
DB
DB
DB
K
cons, и я в итоге сделалdata Product xs where
Nil :: Product '[]
(:>) :: x -> Product xs -> Product (x : xs)
Has и намерением переделать в newtype Product xs = Product (Vector [Any xs]), если оно всплывёт при профилировании (но оно не всплыло)JS
cons, и я в итоге сделалdata Product xs where
Nil :: Product '[]
(:>) :: x -> Product xs -> Product (x : xs)
Has и намерением переделать в newtype Product xs = Product (Vector [Any xs]), если оно всплывёт при профилировании (но оно не всплыло)K
AA
cabal install vinyl.MK
cabal install vinyl.AA