[

Size: a a a
[
TZ
.stack/setup-exe-cache/x86_64-linux-nix/Cabal-simple_mPHDZzAJ_3.2.1.0_ghc-8.10.4: startProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
?AS
TZ
TZ
JS
exec
?TZ
L
data Peano = Z | S Peano
data Vec (n :: Peano) a where
VNil :: Vec 'Z a
VCons :: a -> Vec n a -> Vec ('S n) a
АХ
АХ
JS