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